Get my own profile
Public access
View all23 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Ramon JansanaProfessor of Logic, University of BarcelonaVerified email at ub.edu
Achim JungProfessor of Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoVerified email at math.tecnico.ulisboa.pt
Thiago Nascimento da SilvaPh.D Candidate at Federal University of Rio Grande do NorteVerified email at ufrn.edu.br
Joao MarcosFederal University of Santa Catarina (UFSC), BrazilVerified email at ufsc.br
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Vitor GreatiPhD candidate, University of Groningen, Groningen, The NetherlandsVerified email at rug.nl
Benjamin BedregalUniversidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
Rui PaivaInstituto Federal de Educação, Ciência e Tecnologia do CearáVerified email at ifce.edu.br
Regivan H. N. SantiagoDepartamento de Informática e Matemática Aplicada-UFRNVerified email at dimap.ufrn.br
Alessandra PalmigianoVrije Universiteit AmsterdamVerified email at vu.nl
Tommaso FlaminioResearcher at IIIA - CSICVerified email at iiia.csic.es
Adam PrenosilUniversity of CagliariVerified email at unica.it
Hiroakira OnoJapan Advanced Institute of Science and TechnologyVerified email at jaist.ac.jp
Giuseppe GrecoVrije Universiteit AmsterdamVerified email at vu.nl
Fei LiangSchool of Philosophy and Social Development, Shandong University, ChinaVerified email at sdu.edu.cn
Leonardo Manuel CabrerInstitute of Computer Languages - Technische Universität WienVerified email at logic.at
Ricardo Oscar RodriguezDepartamento de Computacion Facultad de Ciencias Exactas y Naturales Universidad de Buenos AiresVerified email at dc.uba.ar
Zeinab BakhtiariLORIA, CNRS-Université de LorraineVerified email at inria.fr
Hans van DitmarschCNRSVerified email at irit.fr