내 프로필 만들기
공개 액세스
모두 보기자료 28개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Carlos ArecesUniversidad Nacional de Córdoba - CONICETfamaf.unc.edu.ar의 이메일 확인됨
- Guillaume HoffmannCONICETconicet.gov.ar의 이메일 확인됨
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)lmf.cnrs.fr의 이메일 확인됨
- Valentin CassanoDepartment of Mathematics, National University of Rio Cuarto and CONICET, Argentinadc.exa.unrc.edu.ar의 이메일 확인됨
- Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i Bergenuib.no의 이메일 확인됨
- Pablo CastroUniversidad Nacional de Rio Cuarto, Argentinadc.exa.unrc.edu.ar의 이메일 확인됨
- Alessio MansuttiIMDEA Software Instituteimdea.org의 이메일 확인됨
- Hans van DitmarschCNRSirit.fr의 이메일 확인됨
- Mauricio MartelIRIT (Institut de Recherche en Informatique de Toulouse)irit.fr의 이메일 확인됨
- François SchwarzentruberENS Rennesens-rennes.fr의 이메일 확인됨
- Yanjing Wang (王彦晶)Professor of Logic, Peking Universitypku.edu.cn의 이메일 확인됨
- Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)irit.fr의 이메일 확인됨
- Yanjun LiNankai Universitynankai.edu.cn의 이메일 확인됨
- Bartosz BednarczykUniwersytet Wrocławski & TU Dresdencs.uni.wroc.pl의 이메일 확인됨
- Beta ZilianiFAMAF, UNC and Manas.Techmpi-sws.org의 이메일 확인됨
- Francisco TruccoUniversity of Groningenrug.nl의 이메일 확인됨
- Santiago FigueiraUniversity of Buenos Aires and CONICETdc.uba.ar의 이메일 확인됨
- Bastien MaubertUniversità degli Studi di Napoli Federico IIunina.it의 이메일 확인됨
- Benjamin IcardLIP6, CNRS, Sorbonne Université, Institut Jean-Nicodlip6.fr의 이메일 확인됨