Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Sandra de AmoAssociate Professor Computer Science, Universidade Federal de UberlândiaVerified email at ufu.br
Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoVerified email at math.tecnico.ulisboa.pt
Benjamin BedregalUniversidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
Vitor GreatiPhD candidate, University of Groningen, Groningen, The NetherlandsVerified email at rug.nl
Umberto RivieccioAssistant Professor, UNED (Madrid)Verified email at fsof.uned.es
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Cláudia NalonComputer Science, University of BrasíliaVerified email at unb.br
Marco VolpeUniversity of LeicesterVerified email at leicester.ac.uk
Heinrich WansingRuhr-Universität BochumVerified email at rub.de
Thiago Nascimento da SilvaPh.D Candidate at Federal University of Rio Grande do NorteVerified email at ufrn.edu.br
Patrick TerrematteAssistant Professor at UFRNVerified email at imd.ufrn.br
Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
Regivan H. N. SantiagoDepartamento de Informática e Matemática Aplicada-UFRNVerified email at dimap.ufrn.br
Manuel A. MartinsDepartamento de Matemática, Universidade de AveiroVerified email at ua.pt
Diana CostaLASIGE, Informática, Faculdade de Ciências, Universidade de LisboaVerified email at fc.ul.pt
JOCIVANIA PINHEIROUniversidade Federal Rural do Semi-ÁridoVerified email at ufersa.edu.br