Založit si vlastní profil
Veřejný přístup
Zobrazit všechny10 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Moshe Y. VardiRice UniversityE-mailová adresa ověřena na: cs.rice.edu
- Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityE-mailová adresa ověřena na: ti.informatik.uni-kiel.de
- Anuj DawarUniversity of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Leonid LibkinProfessor of Computer Science, University of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
- maarten marxAssistant Professor of Computer Science, University of AmsterdamE-mailová adresa ověřena na: uva.nl
- Dietmar BerwangerCNRS, Université Paris-Saclay, FranceE-mailová adresa ověřena na: lmf.cnrs.fr
- Łukasz KaiserOpenAI & CNRSE-mailová adresa ověřena na: openai.com
- Stephan KreutzerProfessor of Computer Science, Technical University BerlinE-mailová adresa ověřena na: tu-berlin.de
- Egon BoergerProfessor of Computer Science, University of Pisa (Italy)E-mailová adresa ověřena na: di.unipi.it
- Georg GottlobProfessor of Informatics, University of CalabriaE-mailová adresa ověřena na: unical.it
- Jouko VäänänenProfessor of Mathematics, University of Helsinki and Professor of Logic, University of AmsterdamE-mailová adresa ověřena na: helsinki.fi
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsE-mailová adresa ověřena na: cwi.nl
- Martin GroheProfessor of Computer Science, RWTH Aachen UniversityE-mailová adresa ověřena na: informatik.rwth-aachen.de
- Roman RabinovichTechnische Universität BerlinE-mailová adresa ověřena na: tu-berlin.de
- Michael UmmelsResearcher, German Aerospace CenterE-mailová adresa ověřena na: logic.rwth-aachen.de
- Sebastian SiebertzUniversität Bremen, AG Theoretische InformatikE-mailová adresa ověřena na: uni-bremen.de
- Juha KontinenProfessor, University of Helsinki, FinlandE-mailová adresa ověřena na: helsinki.fi
- Bjarki HolmPostdoctoral Research Associate, University of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Eryk Kopczyńskiassistant professor, University of WarsawE-mailová adresa ověřena na: mimuw.edu.pl