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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540003885, 9783540363873

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Infinite Games

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

10.1007/3-540-36387-4_2 ◽

2002 ◽

pp. 23-38 ◽

Cited By ~ 31

Author(s):

René Mazala

Keyword(s):

Infinite Games

Download Full-text

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 ◽

Cited By ~ 3

Author(s):

Martin Leucker

Keyword(s):

Monadic Logic

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 2

Author(s):

Frank Nießner

Keyword(s):

Tree Automata

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 ◽

Cited By ~ 1

Author(s):

Markus Roggenbach

Keyword(s):

Büchi Automata ◽

Buchi Automata

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 ◽

Cited By ~ 16

Author(s):

Klaus Reinhardt

Keyword(s):

Finite 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 ◽

Cited By ~ 10

Author(s):

Dietmar Berwanger ◽

Achim Blumensath

Keyword(s):

Monadic Theory

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 7

Author(s):

Hartmut Klauck

Keyword(s):

Parity Games

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 ◽

Cited By ~ 8

Author(s):

Ralf Küsters

Keyword(s):

Parity Games

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Infinite Games

Prefix-Recognizable Graphs and Monadic Logic

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

Nondeterministic Tree Automata

Determinization of Büchi-Automata

The Complexity of Translating Logic to Finite Automata

The Monadic Theory of Tree-like Structures

Determinization and Complementation of Streett Automata

Algorithms for Parity Games

Memoryless Determinacy of Parity Games

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