내 프로필 만들기
공개 액세스
모두 보기자료 9개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- nicolas tabareauInriainria.fr의 이메일 확인됨
- Noam ZeilbergerEcole Polytechniquelix.polytechnique.fr의 이메일 확인됨
- Charles GrelloisBordeaux INPbordeaux-inp.fr의 이메일 확인됨
- Jérôme VouillonCNRS, Université Paris Diderotpps.univ-paris-diderot.fr의 이메일 확인됨
- Samuel MimramLIX, CNRS, École polytechnique, Institut Polytechnique de Parispolytechnique.edu의 이메일 확인됨
- Samson AbramskyProfessor of Computer Science, UCLucl.ac.uk의 이메일 확인됨
- Andrew W. AppelProfessor of Computer Science, Princeton Universityprinceton.edu의 이메일 확인됨
- Leo StefanescoMPI-SWSmpi-sws.org의 이메일 확인됨
- Christine TassonMaître de conférenceirif.fr의 이메일 확인됨
- Clemens BergerProfessor of Mathematics, University Côte d'Azurmath.unice.fr의 이메일 확인됨
- Georges GonthierPrincipal Researcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- Russ HarmerCNRS, Lyonens-lyon.fr의 이메일 확인됨
- Martin HylandProfessor of Mathematical Logic, Cambridgedpmms.cam.ac.uk의 이메일 확인됨
- Benjamin WernerProfesseur, Computer Science, Ecole Polytechniquepolytechnique.edu의 이메일 확인됨
- Gilles BartheMPI-SP and IMDEA Software Institutempi-sp.org의 이메일 확인됨
- Zhong ShaoYale Universityyale.edu의 이메일 확인됨
- Jérémie KoenigPostdoctoral Associate, Yale Universityyale.edu의 이메일 확인됨
- Sacha Bourgeois-GirondeProfessor, Dpt of Economics, Université Paris 2 ; Faculty of Law, University of Haifau-paris2.fr의 이메일 확인됨
- Nicolas Rollandensae.org의 이메일 확인됨