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