Get my own profile
Public access
View all25 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Ramon JansanaProfessor of Logic, University of BarcelonaVerified email at ub.edu
Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoVerified email at math.tecnico.ulisboa.pt
Achim JungProfessor of Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
Thiago Nascimento da SilvaProfessor at Federal University of Rio Grande do NorteVerified email at ufrn.edu.br
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Joao MarcosFederal University of Santa Catarina (UFSC), BrazilVerified email at ufsc.br
Vitor GreatiPhD candidate, University of Groningen, Groningen, The NetherlandsVerified email at rug.nl
Adam PrenosilUniversity of CagliariVerified email at unica.it
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
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