建立我自己的個人學術檔案
公開取用
查看全部10 篇文章
1 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Moshe Y. VardiRice University在 cs.rice.edu 的電子郵件地址已通過驗證
- Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel University在 ti.informatik.uni-kiel.de 的電子郵件地址已通過驗證
- Anuj DawarUniversity of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Leonid LibkinProfessor of Computer Science, University of Edinburgh在 inf.ed.ac.uk 的電子郵件地址已通過驗證
- maarten marxAssistant Professor of Computer Science, University of Amsterdam在 uva.nl 的電子郵件地址已通過驗證
- Dietmar BerwangerCNRS, Université Paris-Saclay, France在 lmf.cnrs.fr 的電子郵件地址已通過驗證
- Łukasz KaiserOpenAI & CNRS在 openai.com 的電子郵件地址已通過驗證
- Stephan KreutzerProfessor of Computer Science, Technical University Berlin在 tu-berlin.de 的電子郵件地址已通過驗證
- Egon BoergerProfessor of Computer Science, University of Pisa (Italy)在 di.unipi.it 的電子郵件地址已通過驗證
- Georg GottlobProfessor of Informatics, University of Calabria在 unical.it 的電子郵件地址已通過驗證
- Jouko VäänänenProfessor of Mathematics, University of Helsinki and Professor of Logic, University of Amsterdam在 helsinki.fi 的電子郵件地址已通過驗證
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien在 forsyte.tuwien.ac.at 的電子郵件地址已通過驗證
- Krzysztof R. AptCWI fellow, CWI , The Netherlands在 cwi.nl 的電子郵件地址已通過驗證
- Martin GroheProfessor of Computer Science, RWTH Aachen University在 informatik.rwth-aachen.de 的電子郵件地址已通過驗證
- Roman RabinovichTechnische Universität Berlin在 tu-berlin.de 的電子郵件地址已通過驗證
- Michael UmmelsResearcher, German Aerospace Center在 logic.rwth-aachen.de 的電子郵件地址已通過驗證
- Sebastian SiebertzUniversität Bremen, AG Theoretische Informatik在 uni-bremen.de 的電子郵件地址已通過驗證
- Juha KontinenProfessor, University of Helsinki, Finland在 helsinki.fi 的電子郵件地址已通過驗證
- Bjarki HolmPostdoctoral Research Associate, University of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Eryk Kopczyńskiassistant professor, University of Warsaw在 mimuw.edu.pl 的電子郵件地址已通過驗證