Založit si vlastní profil
Veřejný přístup
Zobrazit všechny26 článků
6 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaE-mailová adresa ověřena na: tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalE-mailová adresa ověřena na: tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeE-mailová adresa ověřena na: kcl.ac.uk
- David BasinProfessor of Computer Science, ETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), BrazilE-mailová adresa ověřena na: dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofE-mailová adresa ověřena na: cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyE-mailová adresa ověřena na: fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasE-mailová adresa ověřena na: unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalE-mailová adresa ověřena na: math.ist.utl.pt
- Marco VolpeUniversity of LeicesterE-mailová adresa ověřena na: leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systemsE-mailová adresa ověřena na: tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of MagdeburgE-mailová adresa ověřena na: ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaE-mailová adresa ověřena na: tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityE-mailová adresa ověřena na: ovgu.de