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 SilvaProfessor 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