Crea el meu perfil
Accés públic
Mostra-ho tot9 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- nicolas tabareauInriaCorreu electrònic verificat a inria.fr
- Noam ZeilbergerEcole PolytechniqueCorreu electrònic verificat a lix.polytechnique.fr
- Charles GrelloisBordeaux INPCorreu electrònic verificat a bordeaux-inp.fr
- Jérôme VouillonCNRS, Université Paris DiderotCorreu electrònic verificat a pps.univ-paris-diderot.fr
- Samuel MimramLIX, CNRS, École polytechnique, Institut Polytechnique de ParisCorreu electrònic verificat a polytechnique.edu
- Samson AbramskyProfessor of Computer Science, UCLCorreu electrònic verificat a ucl.ac.uk
- Andrew W. AppelProfessor of Computer Science, Princeton UniversityCorreu electrònic verificat a princeton.edu
- Leo StefanescoMPI-SWSCorreu electrònic verificat a mpi-sws.org
- Christine TassonMaître de conférenceCorreu electrònic verificat a irif.fr
- Clemens BergerProfessor of Mathematics, University Côte d'AzurCorreu electrònic verificat a math.unice.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchCorreu electrònic verificat a microsoft.com
- Russ HarmerCNRS, LyonCorreu electrònic verificat a ens-lyon.fr
- Martin HylandProfessor of Mathematical Logic, CambridgeCorreu electrònic verificat a dpmms.cam.ac.uk
- Benjamin WernerProfesseur, Computer Science, Ecole PolytechniqueCorreu electrònic verificat a polytechnique.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteCorreu electrònic verificat a mpi-sp.org
- Zhong ShaoYale UniversityCorreu electrònic verificat a yale.edu
- Jérémie KoenigPostdoctoral Associate, Yale UniversityCorreu electrònic verificat a yale.edu
- Sacha Bourgeois-GirondeProfessor, Dpt of Economics, Université Paris 2 ; Faculty of Law, University of HaifaCorreu electrònic verificat a u-paris2.fr
- Nicolas RollandCorreu electrònic verificat a ensae.org
Segueix