Založit si vlastní profil
Veřejný přístup
Zobrazit všechny38 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Lawrence PaulsonUniversity of CambridgeE-mailová adresa ověřena na: cam.ac.uk
- Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: ifi.lmu.de
- Johannes HölzlE-mailová adresa ověřena na: in.tum.de
- Thomas HalesUniversity of PittsburghE-mailová adresa ověřena na: pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordE-mailová adresa ověřena na: maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- Peter LammichThe University of ManchesterE-mailová adresa ověřena na: in.tum.de
- Andrei PopescuUniversity of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenE-mailová adresa ověřena na: di.ku.dk
- Manuel EberlUniversity of InnsbruckE-mailová adresa ověřena na: uibk.ac.at
- Gregor SneltingKITE-mailová adresa ověřena na: kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesE-mailová adresa ověřena na: ost.ch
- Christian UrbanKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenE-mailová adresa ověřena na: in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckE-mailová adresa ověřena na: uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyE-mailová adresa ověřena na: math.ac.vn
- Cezary KaliszykUniversity of InnsbruckE-mailová adresa ověřena na: uibk.ac.at
Sledovat
Tobias Nipkow
Professor of Computer Science, Technische Universität München
E-mailová adresa ověřena na: in.tum.de - Domovská stránka