Lecture Notes in Computer Science - Automata Logics, and Infinite Games
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540003885, 9783540363873

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Prefix-Recognizable Graphs and Monadic Logic

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_15 ◽

2002 ◽

pp. 263-283 ◽

Author(s):

Martin Leucker

Keyword(s):

Download Full-text

Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_14 ◽

2002 ◽

pp. 239-257 ◽

Author(s):

Philipp Rohde

Keyword(s):

Expressive Power ◽

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Nondeterministic Tree Automata

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_8 ◽

2002 ◽

pp. 135-152 ◽

Author(s):

Frank Nießner

Keyword(s):

Download Full-text

Infinite Games

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_2 ◽

2002 ◽

pp. 23-38 ◽

Author(s):

René Mazala

Keyword(s):

Download Full-text

The Complexity of Translating Logic to Finite Automata

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_13 ◽

2002 ◽

pp. 231-238 ◽

Author(s):

Klaus Reinhardt

Keyword(s):

Finite Automata

Download Full-text

Memoryless Determinacy of Parity Games

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_6 ◽

2002 ◽

pp. 95-106 ◽

Author(s):

Ralf Küsters

Keyword(s):

Download Full-text

Determinization of Büchi-Automata

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_3 ◽

2002 ◽

pp. 43-60 ◽

Author(s):

Markus Roggenbach

Keyword(s):

Büchi Automata ◽

Download Full-text

The Monadic Theory of Tree-like Structures

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_16 ◽

2002 ◽

pp. 285-301 ◽

Author(s):

Dietmar Berwanger ◽

Achim Blumensath

Keyword(s):

Download Full-text

Determinization and Complementation of Streett Automata

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_5 ◽

2002 ◽

pp. 79-91 ◽

Author(s):

Stefan Schwoon

Download Full-text

Algorithms for Parity Games

Lecture Notes in Computer Science - Automata Logics, and Infinite Games ◽

10.1007/3-540-36387-4_7 ◽

2002 ◽

pp. 107-129 ◽

Author(s):

Hartmut Klauck

Keyword(s):

Download Full-text