自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Wolfgang MerkleSenior Lecturer, Heidelberg University確認したメール アドレス: math.uni-heidelberg.de
- Vasco BrattkaProfessor for Theoretical Computer Science and Mathematical Logic, Universität der Bundeswehr確認したメール アドレス: unibw.de
- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer Science確認したメール アドレス: comp.nus.edu.sg
- Christopher P. PorterDrake University確認したメール アドレス: drake.edu
- Andre NiesUniversity of Auckland確認したメール アドレス: cs.auckland.ac.nz
- Sanjay JainProfessor of Computer Science, National University of Singapore確認したメール アドレス: comp.nus.edu.sg
- Arno PaulySwansea University確認したメール アドレス: cl.cam.ac.uk
- Guohua WuNanyang Technological University確認したメール アドレス: ntu.edu.sg
- George BarmpaliasProfessor, Institute of Software, Chinese Academy of Sciences確認したメール アドレス: ios.ac.cn
- Hugo NobregaUniversidade Federal do Rio de Janeiro確認したメール アドレス: dcc.ufrj.br
- Yu, LiangNanjing university確認したメール アドレス: nju.edu.cn
- Dilip RaghavanNational University of Singapore確認したメール アドレス: nus.edu.sg
- Philipp SchlichtUniversity of Bristol確認したメール アドレス: math.uni-bonn.de
- Aquinas HoborAssociate Professor, University College London確認したメール アドレス: ucl.ac.uk
- Alexander MelnikovAssociate Professor at Victoria University of Wellington, New Zealand確認したメール アドレス: vuw.ac.nz
- Selwyn Keng Meng NgAssociate Professor of Mathematics, Nanyang Technological University確認したメール アドレス: ntu.edu.sg