Crea il mio profilo
Accesso pubblico
Visualizza tutto2 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenEmail verificata su cs.ru.nl
- John PowerHonorary Professor in Computing, Macquarie UniversityEmail verificata su bath.edu
- James WorrellProfessor of Computer Science, Oxford UniversityEmail verificata su cs.ox.ac.uk
- Uday ReddyUniversity of BirminghamEmail verificata su cs.bham.ac.uk
- Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonEmail verificata su qmul.ac.uk
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalEmail verificata su math.ist.utl.pt
- Alessio SantamariaLecturer at the University of SussexEmail verificata su sussex.ac.uk
- Marta BungeEmeritus Professor of Mathematics, McGill UniversityEmail verificata su mcgill.ca