Christof Löding und Thomas - Info zur Person

(1 - 10 von 12

)

People

people.na.infn.it

People. Orna Kupferman Moshe Y. Vardi Carsten Lutz Rajeev Alur Thomas Henzinger Martin Lange Christof Löding Nir Piterman Wolfgang Thomas Amir Pnueli

dblp: Thomas Colcombet

dblp.uni-trier.de

List of computer science publications by Thomas Colcombet

Swiss Society for Logic and Philosophy of Science

www.sslps.unibe.ch

Annual Meeting On the Posterity of Büchi (Logic and Automata), Lausanne, March/April Speakers: Mikolaj Bojanczyk, Thomas Colcombet, Christof Löding, Wolfgang Thomas, Igor Walukiewicz.

DBLP: Christof Löding

vldbarc.org

Christof Löding, Karianto Wong: On Nondeterministic Unranked Tree Automata with ... Thomas Colcombet, Christof Löding: The Non-deterministic Mostowski ...

Denis Kuperberg

perso.ens-lyon.fr

With Thomas Colcombet, Christof Löding, and Michael Vanden Boom, in CSL 2013; Nondeterminism in the Presence of a Diverse or Unknown Future. With Udi ...

Publications

www.bastien-maubert.fr

Jury: Joseph Y. Halpern (president) Christof Löding and Ram Ramanujam (referees) Dietmar Berwanger, Thomas Bolander and Catalin Dima (examiners)

Archive ouverte HAL - Transforming structures by set interpretations

hal.archives-ouvertes.fr

Transforming structures by set interpretations. Thomas Colcombet 1Christof Löding 2. Détails. 1 GALION - Graphs, Automata, Logics, Languages and vErificatiON. IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, UR1 - Université de Rennes 1, INSA Rennes - Institut National des Sciences Appliquées ...

Alle Infos zum Namen "Christof Löding"

Verwandte Suchanfragen zu Christof Löding

Jens Knoop
Thomas Colcombet
Wolfgang Thomas

Andreas Maletti
Peter Habermehl
Philipp Rohde

Aziz Abdulla
Markus Lohrey
Carsten Lutz

Person "Löding" (3)
Vorname "Christof" (6330)
Name "Löding" (139)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Christof Löding und Thomas Person-Info