Založit si vlastní profil
Veřejný přístup
Zobrazit všechny16 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Patrick BahrIT University of CopenhagenE-mailová adresa ověřena na: itu.dk
- Rasmus Lerchedahl PetersenMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Bassel MannaaPostdoc, IT University of CopenhagenE-mailová adresa ověřena na: itu.dk
- Ranald CloustonLecturer, Australian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Hans Bugge GrathwohlDepartment of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumE-mailová adresa ověřena na: alesb.com
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Marco PaviottiLecturer in Computer Science, University of KentE-mailová adresa ověřena na: kent.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaE-mailová adresa ověřena na: unige.it