Mijn eigen profiel maken
Openbare toegang
Alles bekijken26 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
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalGeverifieerd e-mailadres voor 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
- David BasinProfessor of Computer Science, ETH ZurichGeverifieerd e-mailadres voor inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), BrazilGeverifieerd e-mailadres voor dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofGeverifieerd e-mailadres voor cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyGeverifieerd e-mailadres voor fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasGeverifieerd e-mailadres voor unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalGeverifieerd e-mailadres voor math.ist.utl.pt
- Marco VolpeUniversity of LeicesterGeverifieerd e-mailadres voor leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systemsGeverifieerd e-mailadres voor tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of MagdeburgGeverifieerd e-mailadres voor ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaGeverifieerd e-mailadres voor tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityGeverifieerd e-mailadres voor ovgu.de