Search Results

Un Résultat de Complétude pour les Types $\forall^+$ du Système F

by Nour, Karim, Farkh, Samir
Published 1998

Un Résultat de Complétude pour les Types $\forall^+$ du Système F

by Nour, Karim, Farkh, Samir
Published 1998

Résultats de complétude pour des classes de types du système AF2

by Farkh, Samir, Nour, Karim
Published 1998

Résultats de complétude pour des classes de types du système AF2

by Farkh, Samir, Nour, Karim
Published 1998

Un Résultat de Complétude pour les Types $\forall^+$ du Système F

by Nour, Karim, Farkh, Samir
Published 1998

Résultats de complétude pour des classes de types du système AF2

by Farkh, Samir, Nour, Karim
Published 1998

Un Résultat de Complétude pour les Types $\forall^+$ du Système F

by Nour, Karim, Farkh, Samir
Published 1998

Résultats de complétude pour des classes de types du système AF2

by Farkh, Samir, Nour, Karim
Published 1998

Group Size Effect on the Success of Wolves Hunting

by Escobedo, Ramon, Dutykh, Denys, Muro, Cristina, Spector, Lee, Coppinger, Raymond
Published 2015

Group Size Effect on the Success of Wolves Hunting

by Escobedo, Ramon, Dutykh, Denys, Muro, Cristina, Spector, Lee, Coppinger, Raymond
Published 2015

Group Size Effect on the Success of Wolves Hunting

by Escobedo, Ramon, Dutykh, Denys, Muro, Cristina, Spector, Lee, Coppinger, Raymond
Published 2015

The Paris Agreement objectives will likely halt future declines of emperor penguins

by Jenouvrier, Stéphanie, Holland, Marika, Iles, David, Labrousse, Sara, Landrum, Laura, Garnier, Jimmy, Caswell, Hal, Weimerskirch, Henri, Larue, Michelle, Ji, Rubao, Barbraud, Christophe
Published in Global Change Biology (2020)

The Paris Agreement objectives will likely halt future declines of emperor penguins

by Jenouvrier, Stéphanie, Holland, Marika, Iles, David, Labrousse, Sara, Landrum, Laura, Garnier, Jimmy, Caswell, Hal, Weimerskirch, Henri, LaRue, Michelle, Ji, Rubao, Barbraud, Christophe
Published in Global Change Biology (2020)

The Paris Agreement objectives will likely halt future declines of emperor penguins

by Jenouvrier, Stéphanie, Holland, Marika, Iles, David, Labrousse, Sara, Landrum, Laura, Garnier, Jimmy, Caswell, Hal, Weimerskirch, Henri, Larue, Michelle, Ji, Rubao, Barbraud, Christophe
Published in Global Change Biology (2020)

The Paris Agreement objectives will likely halt future declines of emperor penguins

by Jenouvrier, Stéphanie, Holland, Marika, Iles, David, Labrousse, Sara, Landrum, Laura, Garnier, Jimmy, Caswell, Hal, Weimerskirch, Henri, Larue, Michelle, Ji, Rubao, Barbraud, Christophe
Published in Global Change Biology (2020)

The Paris Agreement objectives will likely halt future declines of emperor penguins

by Jenouvrier, Stéphanie, Holland, Marika, Iles, David, Labrousse, Sara, Landrum, Laura, Garnier, Jimmy, Caswell, Hal, Weimerskirch, Henri, Larue, Michelle, Ji, Rubao, Barbraud, Christophe
Published in Global Change Biology (2020)

The Paris Agreement objectives will likely halt future declines of emperor penguins

by Jenouvrier, Stéphanie, Holland, Marika, Iles, David, Labrousse, Sara, Landrum, Laura, Garnier, Jimmy, Caswell, Hal, Weimerskirch, Henri, Larue, Michelle, Ji, Rubao, Barbraud, Christophe
Published in Global Change Biology (2020)

Influence of dispersal processes on the global dynamics of Emperor penguin, a species threatened by climate change

by Jenouvrier, Stéphanie, Garnier, Jimmy, Patout, Florian, Desvillettes, Laurent
Published in Biological Conservation (2017)

Influence of dispersal processes on the global dynamics of Emperor penguin, a species threatened by climate change

by Jenouvrier, Stéphanie, Garnier, Jimmy, Patout, Florian, Desvillettes, Laurent
Published in Biological Conservation (2017)

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)