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
- M. Andrew MoshierProfessor Mathematics and Computer ScienceE-mailová adresa ověřena na: chapman.edu
- Umberto RivieccioAssistant Professor, UNED (Madrid)E-mailová adresa ověřena na: fsof.uned.es
- Samson AbramskyProfessor of Computer Science, UCLE-mailová adresa ověřena na: ucl.ac.uk
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtE-mailová adresa ověřena na: mathematik.tu-darmstadt.de
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamE-mailová adresa ověřena na: cs.bham.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaE-mailová adresa ověřena na: unige.it
- Xiaodong JiaSchool of Mathematics, Hunan UniversityE-mailová adresa ověřena na: hnu.edu.cn
- Qingguo Li(李庆国)Hunan UniversityE-mailová adresa ověřena na: hnu.edu.cn
- Peter O'HearnLacework and University College LondonE-mailová adresa ověřena na: ucl.ac.uk
- Peter BunemanProfessor, University of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
- Atsushi OhoriTohoku UniversityE-mailová adresa ověřena na: riec.tohoku.ac.jp
- Jerzy TiurynProfesor informatyki, Uniwersytet WarszawskiE-mailová adresa ověřena na: mimuw.edu.pl
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
- Jean Goubault-LarrecqE-mailová adresa ověřena na: lsv.fr
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Eugenio MoggiProfessor of Computer Science, Genova UniversityE-mailová adresa ověřena na: unige.it
- Jon RieckeGoogle Inc.E-mailová adresa ověřena na: google.com
- Tomáš JaklCzech Academy of Sciences & Czech Technical UniversityE-mailová adresa ověřena na: math.cas.cz
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceE-mailová adresa ověřena na: cl.cam.ac.uk
Sledovat
Achim Jung
Professor of Computer Science, University of Birmingham, UK
E-mailová adresa ověřena na: cs.bham.ac.uk - Domovská stránka