自分のプロフィールを作成
オープン アクセス
すべて表示16 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Patrick BahrIT University of Copenhagen確認したメール アドレス: itu.dk
- Rasmus Lerchedahl PetersenMicrosoft Research確認したメール アドレス: microsoft.com
- Bassel MannaaPostdoc, IT University of Copenhagen確認したメール アドレス: itu.dk
- Ranald CloustonLecturer, Australian National University確認したメール アドレス: anu.edu.au
- Hans Bugge GrathwohlDepartment of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordium確認したメール アドレス: alesb.com
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Marco PaviottiLecturer in Computer Science, University of Kent確認したメール アドレス: kent.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di Genova確認したメール アドレス: unige.it