Login / Signup
Automata, Logics, and Infinite Games
2001
2002
2001
2002
Keyphrases
Publications
volume 2500, 2002
Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]
Automata, Logics, and Infinite Games
2500 (2002)
2001
Dietmar Berwanger
,
Achim Blumensath
Automata for Guarded Fixed Point Logics.
Automata, Logics, and Infinite Games
(2001)
Thoralf Räsch
Introduction to Guarded Logics.
Automata, Logics, and Infinite Games
(2001)
René Mazala
Infinite Games.
Automata, Logics, and Infinite Games
(2001)
Stefan Schwoon
Determinization and Complementation of Streett Automata.
Automata, Logics, and Infinite Games
(2001)
Philipp Rohde
Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.
Automata, Logics, and Infinite Games
(2001)
Daniel Kirsten
Alternating Tree Automata and Parity Games.
Automata, Logics, and Infinite Games
(2001)
Hartmut Klauck
Algorithms for Parity Games.
Automata, Logics, and Infinite Games
(2001)
Ralf Küsters
Memoryless Determinacy of Parity Games.
Automata, Logics, and Infinite Games
(2001)
Mark Weyer
Decidability of S1S and S2S.
Automata, Logics, and Infinite Games
(2001)
Luca Alberucci
Strictness of the Modal µ-Calculus Hierarchy.
Automata, Logics, and Infinite Games
(2001)
Felix Klaedtke
Complementation of Büchi Automata Using Alternation.
Automata, Logics, and Infinite Games
(2001)
Carsten Fritz
Some Fixed Point Basics.
Automata, Logics, and Infinite Games
(2001)
Dietmar Berwanger
,
Achim Blumensath
The Monadic Theory of Tree-like Structures.
Automata, Logics, and Infinite Games
(2001)
Berndt Farwer
omega-Automata.
Automata, Logics, and Infinite Games
(2001)
Frank Nießner
Nondeterministic Tree Automata.
Automata, Logics, and Infinite Games
(2001)
Thierry Cachat
Two-Way Tree Automata Solving Pushdown Games.
Automata, Logics, and Infinite Games
(2001)
Júlia Zappe
Modal µ-Calculus and Alternating Tree Automata.
Automata, Logics, and Infinite Games
(2001)
Markus Roggenbach
Determinization of Büchi-Automata.
Automata, Logics, and Infinite Games
(2001)
Klaus Reinhardt
The Complexity of Translating Logic to Finite Automata.
Automata, Logics, and Infinite Games
(2001)
Martin Leucker
Prefix-Recognizable Graphs and Monadic Logic.
Automata, Logics, and Infinite Games
(2001)