Založit si vlastní profil
Veřejný přístup
Zobrazit všechny9 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Wolfgang MerkleSenior Lecturer, Heidelberg UniversityE-mailová adresa ověřena na: math.uni-heidelberg.de
- Vasco BrattkaProfessor for Theoretical Computer Science and Mathematical Logic, Universität der BundeswehrE-mailová adresa ověřena na: unibw.de
- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceE-mailová adresa ověřena na: comp.nus.edu.sg
- Christopher P. PorterDrake UniversityE-mailová adresa ověřena na: drake.edu
- Andre NiesUniversity of AucklandE-mailová adresa ověřena na: cs.auckland.ac.nz
- Sanjay JainProfessor of Computer Science, National University of SingaporeE-mailová adresa ověřena na: comp.nus.edu.sg
- Arno PaulySwansea UniversityE-mailová adresa ověřena na: cl.cam.ac.uk
- Guohua WuNanyang Technological UniversityE-mailová adresa ověřena na: ntu.edu.sg
- George BarmpaliasProfessor, Institute of Software, Chinese Academy of SciencesE-mailová adresa ověřena na: ios.ac.cn
- Hugo NobregaUniversidade Federal do Rio de JaneiroE-mailová adresa ověřena na: dcc.ufrj.br
- Yu, LiangNanjing universityE-mailová adresa ověřena na: nju.edu.cn
- Dilip RaghavanNational University of SingaporeE-mailová adresa ověřena na: nus.edu.sg
- Philipp SchlichtUniversity of BristolE-mailová adresa ověřena na: math.uni-bonn.de
- Aquinas HoborAssociate Professor, University College LondonE-mailová adresa ověřena na: ucl.ac.uk
- Alexander MelnikovAssociate Professor at Victoria University of Wellington, New ZealandE-mailová adresa ověřena na: vuw.ac.nz
- Selwyn Keng Meng NgAssociate Professor of Mathematics, Nanyang Technological UniversityE-mailová adresa ověřena na: ntu.edu.sg
Sledovat
Rupert Hölzl
Universität der Bundeswehr München
E-mailová adresa ověřena na: hoelzl.fr - Domovská stránka