Get my own profile
Public access
View all30 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Carlos ArecesUniversidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Guillaume HoffmannCONICETVerified email at conicet.gov.ar
Stéphane DemriCNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)Verified email at lmf.cnrs.fr
Valentin CassanoDepartment of Mathematics, National University of Rio Cuarto and CONICET, ArgentinaVerified email at dc.exa.unrc.edu.ar
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i BergenVerified email at uib.no
Pablo CastroUniversidad Nacional de Rio Cuarto, ArgentinaVerified email at dc.exa.unrc.edu.ar
Alessio MansuttiIMDEA Software InstituteVerified email at imdea.org
Hans van DitmarschCNRSVerified email at irit.fr
Mauricio MartelIRIT (Institut de Recherche en Informatique de Toulouse)Verified email at irit.fr
François SchwarzentruberÉcole Normale Supérieure de LyonVerified email at ens-lyon.fr
Yanjing Wang (王彦晶)Professor of Logic, Peking UniversityVerified email at pku.edu.cn
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse)Verified email at irit.fr
Yanjun LiNankai UniversityVerified email at nankai.edu.cn
Bartosz BednarczykUniwersytet WrocławskiVerified email at cs.uni.wroc.pl
Beta ZilianiFAMAF, UNC and Manas.TechVerified email at mpi-sws.org
Francisco TruccoUniversity of GroningenVerified email at rug.nl
Santiago FigueiraUniversity of Buenos Aires and CONICETVerified email at dc.uba.ar
Benjamin IcardLIP6, Sorbonne Université, CNRSVerified email at lip6.fr
Bastien MaubertUniversità degli Studi di Napoli Federico IIVerified email at unina.it
Follow
Raul Fervari
FAMAF, Universidad Nacional de Córdoba and CONICET
Verified email at unc.edu.ar - Homepage