Get my own profile
Public access
View all4 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Lluis GodoIIIA - CSICVerified email at iiia.csic.es
Sándor JeneiUniversity of PécsVerified email at ttk.pte.hu
Tommaso FlaminioResearcher at IIIA - CSICVerified email at iiia.csic.es
Carles NogueraDepartment of Information Engineering and Mathematics, University of SienaVerified email at unisi.it
George MetcalfeProfessor of Mathematics, University of BernVerified email at unibe.ch
Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu
Petr CintulaInstitute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Rostislav HorčíkDepartment of Computer Science, FEE, Czech Technical University in PragueVerified email at fel.cvut.cz
Roberto CignoliProfesor Emérito de Matemática (UBA)Verified email at dm.uba.ar
Hiroakira OnoJapan Advanced Institute of Science and TechnologyVerified email at jaist.ac.jp
Luca SpadaAssociate Professor of Mathematical Logic, Department of Mathematics, University of SalernoVerified email at unisa.it