Logical Frameworks‎

By Gerard Huet; G. Plotkin  

ISBN:9781139242912

Cambridge University Press‎(1991)‎

Access to resources Favorite 11.052013

By Kiselev A.   Huet G.   Deschamps M.   in Journal of Mathematical Sciences

ISSN:1072-3374|142|6|2571-2575

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 8.100419

By Solau-Gervais E.   Zerimech F.   Lemaire R.   Fontaine C.   Huet G.   Flipo R-M.   in Scandinavian Journal of Rheumatology

ISSN:0300-9742|36|5|373-377

Informa Healthcare‎(2007)‎

Access to resources Favorite 5.1488237

By Leroy X.   Gouyer V.   Ballereau C.   Zerimech F.   Huet G.   Copin M.-C.   Aubert J.-P.   Porchet N.   in Urology

ISSN:0090-4295|62|4|771-775

Elsevier‎(2003)‎

Access to resources Favorite 4.788108

By Hennebicq-Reig S.   Tetaert D.   Soudan B.   Kim I.   Huet G.   Briand G.   Richet C.   Demeyer D.   Degand P.   in Experimental Cell Research

ISSN:0014-4827|235|1|100-107

Elsevier‎(1997)‎

Access to resources Favorite 4.410925