1
0
0
(1 - 30 von 37
)
Christof Löding
www.informatik.uni-leipzig.de
Christof Löding Title: Definability questions for MSO Abstract: A famous result by Rabin states that monadic second-order logic (MSO) on the infinite binary tree is decidable. This result makes MSO on the infinite binary tree an interesting logic and motivates the study of its expressive power. In this talk we present natural objects that ...
Participants for AlMoTh 2011, Leipzig - Institut für Informatik der Uni ...
www.informatik.uni-leipzig.de
... Berlin; Philipp Klaus Krause, Frankfurt; Dietrich Kuske, Ilmenau; Martin Lange, Kassel; Christof Löding; Markus Lohrey, Leipzig; Katja Losemann, Dortmund ...
24th EACSL Annual Conference on Computer Science Logic
logic.las.tu-berlin.de
Lukasz Kaiser, Martin Lang, Simon Leßenich and Christof Löding. A Model Checking Procedure for Interval Temporal Logics based on Track Representatives Alberto …
Degrees of Lookahead in Context-free Infinite Games
www.react.uni-saarland.de
Degrees of Lookahead in Context-free Infinite Games. Wladimir Fridman and Christof Löding, and Martin Zimmermann. We continue the investigation of delay games ...
Search results for "Arnaud Carayol" – FacetedDBLP
dblp.l3s.uni-hannover.de
Arnaud Carayol, Christof Löding, Olivier Serre: Pure Strategies in Imperfect Information Stochastic Games. CoRR : 2015: DBLP BibTeX RDF: 1: Arnaud Carayol, Olivier ...
GAMES - Spring School in Bertinoro
www.games.rwth-aachen.de
The school was addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory. A more detailed list of topics can be found below Christof Löding: Infinite games and automata theory - Part 2:
dblp: 32. MFCS 2007: Cesky Krumlov, Czech Republic
dblp1.uni-trier.de
Bibliographic content of 32. MFCS 2007: Cesky Krumlov, Czech Republic
GAMES - Games Meeting Vienna 2003
www.games.rwth-aachen.de
Games Meeting Vienna Announcement. The Annual Meeting of the RTN "Games and Automata for Synthesis and Validation" was held in Vienna, ... Christof Löding:
dblp: Frank G. Radmacher
dblp.uni-trier.de
List of computer science publications by Frank G. Radmacher
Search results for "Daniel Neider" – FacetedDBLP
dblp.l3s.uni-hannover.de
Christof Löding, P. Madhusudan, Daniel Neider: Abstract Learning Frameworks for Synthesis. TACAS : 2016: DBLP DOI BibTeX RDF:
Infinite graphs generated by tree rewriting - RWTH Publications
publications.rwth-aachen.de
Endliche Graphen und Graphalgorithmen haben vielfältige Anwendungen in der Informatik, unter anderem in der Verifikation endlicher, zustandsbasierter Systeme....
Search results for "Emmanuel Filiot" – FacetedDBLP
dblp.l3s.de
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter: On Equivalence and Uniformisation Problems for Finite Transducers. CoRR : 2016: DBLP BibTeX RDF:
MGI - Mathematical Logic
logic.rwth-aachen.de
Other specialized lectures around the topic of Mathematical Logic; ... Every year in the summer term. Contact. Wied Pakusa, Christof Löding (Vorlesung) Research ...
Informatik im Diplomstudiengang Computermathematik
www-i2.informatik.rwth-aachen.de
Christof Löding ... Fach Semester Veranstaltung Umfang; Informatik und Programmierung: 1. (WS) Programmierung
sortiert nach Relevanz / Datum