Get my own profile
Public access
View all18 articles
3 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 MarcosDIMAp, Federal University of Rio Grande do Norte (UFRN), BrazilVerified email at dimap.ufrn.br
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Benjamin BedregalUniversidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
Rui PaivaProfessor de Matemática Instituto 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
Tommaso FlaminioResearcher at IIIA - CSICVerified email at iiia.csic.es
Adam PrenosilUniversity of CagliariVerified email at unica.it
Alessandra PalmigianoVrije Universiteit AmsterdamVerified email at vu.nl
Giuseppe GrecoVrije Universiteit AmsterdamVerified email at vu.nl
Fei LiangSchool of Philosophy and Social Development, Shandong University, ChinaVerified email at sdu.edu.cn
Hiroakira OnoJapan Advanced Institute of Science and TechnologyVerified email at jaist.ac.jp
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
Vitor GreatiPhD candidate, University of Groningen, Groningen, The NetherlandsVerified email at rug.nl
Zeinab BakhtiariLORIA, CNRS-Université de LorraineVerified email at inria.fr
Hans van DitmarschCNRSVerified email at loria.fr