自分のプロフィールを作成
オープン アクセス
すべて表示28 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Carlos ArecesUniversidad Nacional de Córdoba - CONICET確認したメール アドレス: famaf.unc.edu.ar
- Guillaume HoffmannCONICET確認したメール アドレス: conicet.gov.ar
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)確認したメール アドレス: lmf.cnrs.fr
- Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i Bergen確認したメール アドレス: uib.no
- Valentin CassanoDepartment of Mathematics, National University of Rio Cuarto and CONICET, Argentina確認したメール アドレス: dc.exa.unrc.edu.ar
- Pablo CastroUniversidad Nacional de Rio Cuarto, Argentina確認したメール アドレス: dc.exa.unrc.edu.ar
- Alessio MansuttiIMDEA Software Institute確認したメール アドレス: imdea.org
- Hans van DitmarschCNRS確認したメール アドレス: irit.fr
- Mauricio MartelIRIT (Institut de Recherche en Informatique de Toulouse)確認したメール アドレス: irit.fr
- François SchwarzentruberENS Rennes確認したメール アドレス: ens-rennes.fr
- Yanjing Wang (王彦晶)Professor of Logic, Peking University確認したメール アドレス: pku.edu.cn
- Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)確認したメール アドレス: irit.fr
- Yanjun LiNankai University確認したメール アドレス: nankai.edu.cn
- Bartosz BednarczykUniwersytet Wrocławski & TU Dresden確認したメール アドレス: cs.uni.wroc.pl
- Beta ZilianiFAMAF, UNC and Manas.Tech確認したメール アドレス: mpi-sws.org
- Francisco TruccoUniversity of Groningen確認したメール アドレス: rug.nl
- Santiago FigueiraUniversity of Buenos Aires and CONICET確認したメール アドレス: dc.uba.ar
- Bastien MaubertUniversità degli Studi di Napoli Federico II確認したメール アドレス: unina.it
- Benjamin IcardLIP6, CNRS, Sorbonne Université, Institut Jean-Nicod確認したメール アドレス: lip6.fr