自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- nicolas tabareauInria確認したメール アドレス: inria.fr
- Noam ZeilbergerEcole Polytechnique確認したメール アドレス: lix.polytechnique.fr
- Charles GrelloisBordeaux INP確認したメール アドレス: bordeaux-inp.fr
- Jérôme VouillonCNRS, Université Paris Diderot確認したメール アドレス: pps.univ-paris-diderot.fr
- Samuel MimramLIX, CNRS, École polytechnique, Institut Polytechnique de Paris確認したメール アドレス: polytechnique.edu
- Samson AbramskyProfessor of Computer Science, UCL確認したメール アドレス: ucl.ac.uk
- Andrew W. AppelProfessor of Computer Science, Princeton University確認したメール アドレス: princeton.edu
- Leo StefanescoMPI-SWS確認したメール アドレス: mpi-sws.org
- Christine TassonMaître de conférence確認したメール アドレス: irif.fr
- Clemens BergerProfessor of Mathematics, University Côte d'Azur確認したメール アドレス: math.unice.fr
- Georges GonthierPrincipal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- Russ HarmerCNRS, Lyon確認したメール アドレス: ens-lyon.fr
- Martin HylandProfessor of Mathematical Logic, Cambridge確認したメール アドレス: dpmms.cam.ac.uk
- Benjamin WernerProfesseur, Computer Science, Ecole Polytechnique確認したメール アドレス: polytechnique.edu
- Gilles BartheMPI-SP and IMDEA Software Institute確認したメール アドレス: mpi-sp.org
- Zhong ShaoYale University確認したメール アドレス: yale.edu
- Jérémie KoenigPostdoctoral Associate, Yale University確認したメール アドレス: yale.edu
- Sacha Bourgeois-GirondeProfessor, Dpt of Economics, Université Paris 2 ; Faculty of Law, University of Haifa確認したメール アドレス: u-paris2.fr
- Nicolas Rolland確認したメール アドレス: ensae.org