Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001] - researchr publication

researchr

You are not signed in
Sign in
Sign up

Erich Grädel, Wolfgang Thomas, Thomas Wilke, editors, Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]. Volume 2500 of Lecture Notes in Computer Science, Springer, 2002.

Conference: Dagstuhl2002

Abstract is missing.

omega-AutomataBerndt Farwer. 3-20 [doi]

Infinite GamesRené Mazala. 23-42 [doi]

Determinization of Büchi-AutomataMarkus Roggenbach. 43-60 [doi]

Complementation of Büchi Automata Using AlternationFelix Klaedtke. 61-78 [doi]

Determinization and Complementation of Streett AutomataStefan Schwoon. 79-91 [doi]

Memoryless Determinacy of Parity GamesRalf Küsters. 95-106 [doi]

Algorithms for Parity GamesHartmut Klauck. 107-129 [doi]

Nondeterministic Tree AutomataFrank Nießner. 135-152 [doi]

Alternating Tree Automata and Parity GamesDaniel Kirsten. 153-167 [doi]

Modal µ-Calculus and Alternating Tree AutomataJúlia Zappe. 171-184 [doi]

Strictness of the Modal µ-Calculus HierarchyLuca Alberucci. 185-201 [doi]

Decidability of S1S and S2SMark Weyer. 207-230 [doi]

The Complexity of Translating Logic to Finite AutomataKlaus Reinhardt. 231-238 [doi]

Expressive Power of Monadic Second-Order Logic and Modal µ-CalculusPhilipp Rohde. 239-257 [doi]

Prefix-Recognizable Graphs and Monadic LogicMartin Leucker. 263-284 [doi]

The Monadic Theory of Tree-like StructuresDietmar Berwanger, Achim Blumensath. 285-302 [doi]

Two-Way Tree Automata Solving Pushdown GamesThierry Cachat. 303-317 [doi]

Introduction to Guarded LogicsThoralf Räsch. 321-342 [doi]

Automata for Guarded Fixed Point LogicsDietmar Berwanger, Achim Blumensath. 343-355 [doi]

Some Fixed Point BasicsCarsten Fritz. 359-364 [doi]

runs on WebDSL