建立我自己的個人學術檔案
公開取用
查看全部13 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Mogens NielsenProfessor of Computer Science, Aarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Pierre ClairambaultCNRS & LIS, Aix-Marseille Université在 cnrs.fr 的電子郵件地址已通過驗證
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh在 inf.ed.ac.uk 的電子郵件地址已通過驗證
- Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的電子郵件地址已通過驗證
- Vladimiro SassoneUniversity of Southampton在 ecs.soton.ac.uk 的電子郵件地址已通過驗證
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-Champaign在 illinois.edu 的電子郵件地址已通過驗證
- Martin HylandProfessor of Mathematical Logic, Cambridge在 dpmms.cam.ac.uk 的電子郵件地址已通過驗證
- Russ HarmerCNRS, Lyon在 ens-lyon.fr 的電子郵件地址已通過驗證
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieure在 ens.fr 的電子郵件地址已通過驗證
- Nicola GambinoDepartment of Mathematics, University of Manchester在 manchester.ac.uk 的電子郵件地址已通過驗證