Založit si vlastní profil
Veřejný přístup
Zobrazit všechny16 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Etienne LozesUniversité Côte d'AzurE-mailová adresa ověřena na: univ-cotedazur.fr
- Ranko LazicDepartment of Computer Science, University of WarwickE-mailová adresa ověřena na: warwick.ac.uk
- Ewa Orlowskanational institute of telecommunicationsE-mailová adresa ověřena na: itl.waw.pl
- Morgan DetersSenior Research Scientist, NYUE-mailová adresa ověřena na: cs.nyu.edu
- Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtE-mailová adresa ověřena na: uu.nl
- Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceE-mailová adresa ověřena na: iisc.ac.in
- Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityE-mailová adresa ověřena na: philosophy.su.se
- Martin LangeProfessor of Computer Science, University of KasselE-mailová adresa ověřena na: uni-kassel.de
- Hans de NivelleNazarbayev University, Astana, KazakhstanE-mailová adresa ověřena na: nu.edu.kz
- Brian LoganNottingham UniversityE-mailová adresa ověřena na: cs.nott.ac.uk
- Govert van DrimmelenUniversity of JohannesburgE-mailová adresa ověřena na: icon.co.za
- Maarten de RijkeUniversity of Amsterdam & ICAIE-mailová adresa ověřena na: uva.nl
- Oded LachishBirkbeck, University of LondonE-mailová adresa ověřena na: dcs.bbk.ac.uk
- Christophe MorvanAssociate Professor Université Gustave EiffelE-mailová adresa ověřena na: u-pem.fr
- Diego FigueiraCNRS, LaBRI, Univ. BordeauxE-mailová adresa ověřena na: labri.fr
- Nils BullingTU ClausthalE-mailová adresa ověřena na: in.tu-clausthal.de
- Paul GastinProfessor, LMF, ENS Paris-SaclayE-mailová adresa ověřena na: lmf.cnrs.fr
- Roland MeyerProfessor of Theoretical Computer ScienceE-mailová adresa ověřena na: tu-bs.de
- Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceE-mailová adresa ověřena na: warwick.ac.uk
- Deepak KapurUniversity of New MexicoE-mailová adresa ověřena na: cs.unm.edu
Sledovat
Stéphane Demri
CNRS, Laboratoire Méthodes Formelles (LMF)
E-mailová adresa ověřena na: lmf.cnrs.fr - Domovská stránka