Založit si vlastní profil
Veřejný přístup
Zobrazit všechny6 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Arnold BeckmannProfessor of Computer Science, Swansea UniversityE-mailová adresa ověřena na: swansea.ac.uk
- Richard ZachProfessor of Philosophy, University of CalgaryE-mailová adresa ověřena na: ucalgary.ca
- Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyE-mailová adresa ověřena na: logic.at
- Agata CiabattoniVienna University of TechnologyE-mailová adresa ověřena na: logic.at
- Martin ZieglerKAISTE-mailová adresa ověřena na: zie.de
- Kokichi FUTATSUGIProfessor of Computer Science, JAISTE-mailová adresa ověřena na: jaist.ac.jp
- Kazuhiro OgataJAISTE-mailová adresa ověřena na: jaist.ac.jp
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Gernot SalzerAssociate Professor of Computer Science, Technische Universität WienE-mailová adresa ověřena na: logic.at
- Leonardo Manuel CabrerInstitute of Computer Languages - Technische Universität WienE-mailová adresa ověřena na: logic.at