Mijn eigen profiel maken
Openbare toegang
Alles bekijken7 artikelen
6 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaGeverifieerd e-mailadres voor tecnico.ulisboa.pt
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaGeverifieerd e-mailadres voor tecnico.ulisboa.pt
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofGeverifieerd e-mailadres voor cle.unicamp.br
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasGeverifieerd e-mailadres voor unicamp.br
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityGeverifieerd e-mailadres voor ovgu.de
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalGeverifieerd e-mailadres voor math.ist.utl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaGeverifieerd e-mailadres voor math.ist.utl.pt
- José Luiz FiadeiroProfessor of Computer Science, University of DundeeGeverifieerd e-mailadres voor dundee.ac.uk
- Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgGeverifieerd e-mailadres voor ext.uni.lu
- Hans-Dieter EhrichProfesoor emeritus of information systemsGeverifieerd e-mailadres voor tu-bs.de
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoGeverifieerd e-mailadres voor math.tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeGeverifieerd e-mailadres voor kcl.ac.uk
- Helder CoelhoFaculty of Sciences, University of LisbonGeverifieerd e-mailadres voor di.fc.ul.pt
- Till MossakowskiProfessor of Computer Science, University of MagdeburgGeverifieerd e-mailadres voor ovgu.de
- Luís Cruz-FilipeUniversity of Southern DenmarkGeverifieerd e-mailadres voor imada.sdu.dk
- Rohit ChadhaUniversity of MissouriGeverifieerd e-mailadres voor missouri.edu
- Stefan ConradProfessor für Informatik, Universität DüsseldorfGeverifieerd e-mailadres voor acm.org
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Geverifieerd e-mailadres voor unamur.be
- Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoGeverifieerd e-mailadres voor aucegypt.edu
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonGeverifieerd e-mailadres voor ist.utl.pt
Volgen
Cristina Sernadas
Professor of Logic and Computation, Instituto Superior Técnico, Portugal
Geverifieerd e-mailadres voor tecnico.ulisboa.pt - Homepage