Skapa en profil
Offentlig åtkomst
Visa alla26 artiklar
6 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerifierad e-postadress på tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerifierad e-postadress på kcl.ac.uk
- David BasinProfessor of Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), BrazilVerifierad e-postadress på dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerifierad e-postadress på cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyVerifierad e-postadress på fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerifierad e-postadress på unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerifierad e-postadress på math.ist.utl.pt
- Marco VolpeUniversity of LeicesterVerifierad e-postadress på leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systemsVerifierad e-postadress på tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of MagdeburgVerifierad e-postadress på ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerifierad e-postadress på ovgu.de