自分のプロフィールを作成
オープン アクセス
すべて表示14 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Chris HeunenUniversity of Edinburgh確認したメール アドレス: ed.ac.uk
- Danil AnnenkovAarhus University確認したメール アドレス: di.ku.dk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Ranald CloustonLecturer, Australian National University確認したメール アドレス: anu.edu.au
- Jakob Botsch Nielsen確認したメール アドレス: cs.au.dk
- Egbert RijkePostdoc in Mathematics, University of Ljubljana確認したメール アドレス: fmf.uni-lj.si
- Michael ShulmanAssociate Professor of Mathematics, University of San Diego確認したメール アドレス: sandiego.edu
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Ian OrtonUniversity of Cambridge確認したメール アドレス: cam.ac.uk
- Dan LicataWesleyan University確認したメール アドレス: wesleyan.edu
- Bassel MannaaPostdoc, IT University of Copenhagen確認したメール アドレス: itu.dk
- Rasmus MøgelbergIT University of Copenhagen確認したメール アドレス: itu.dk
- Andrej BauerUniversity of Ljubljana確認したメール アドレス: andrej.com
- Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm University確認したメール アドレス: math.su.se
- Jason GrossGraduate, Massachusetts Institute of Technology確認したメール アドレス: mit.edu
- Sabine OechsnerAssistant Professor at Vrije Universiteit Amsterdam確認したメール アドレス: vu.nl
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Cătălin HrițcuTenured Faculty at MPI-SP確認したメール アドレス: mpi-sp.org
- Théo WinterhalterInria Saclay確認したメール アドレス: inria.fr
- Philipp G. HaselwarterPostdoc, Aarhus University確認したメール アドレス: cs.au.dk