Založit si vlastní profil
Veřejný přístup
Zobrazit všechny38 článků
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgE-mailová adresa ověřena na: ext.uni.lu
- Petr CintulaInstitute of Computer Science, Czech Academy of SciencesE-mailová adresa ověřena na: cs.cas.cz
- Agata CiabattoniVienna University of TechnologyE-mailová adresa ověřena na: logic.at
- Ricardo Oscar RodriguezDepartamento de Computacion Facultad de Ciencias Exactas y Naturales Universidad de Buenos AiresE-mailová adresa ověřena na: dc.uba.ar
- Leonardo Manuel CabrerInstitute of Computer Languages - Technische Universität WienE-mailová adresa ověřena na: logic.at
- Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyE-mailová adresa ověřena na: logic.at
- Denisa DiaconescuUniversity of Bucharest, Faculty of Mathematics and Computer ScienceE-mailová adresa ověřena na: fmi.unibuc.ro
- Peter JipsenProfessor of Mathematics, Chapman UniversityE-mailová adresa ověřena na: chapman.edu
- Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonE-mailová adresa ověřena na: soton.ac.uk
- Wesley FussnerResearcher, Institute of Computer Science of the Czech Academy of SciencesE-mailová adresa ověřena na: cs.cas.cz
- Luca ReggioDepartment of Computer Science, University College LondonE-mailová adresa ověřena na: ucl.ac.uk
- Franco Montagna(1948 - 2015) Università degli studi di Siena
- Tomasz Stanisław KowalskiJagiellonian UniversityE-mailová adresa ověřena na: uj.edu.pl
Sledovat
George Metcalfe
Professor of Mathematics, University of Bern
E-mailová adresa ověřena na: unibe.ch - Domovská stránka