Automata, Logics, and Infinite Games 2001: Dagstuhl, Germany

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2001automata
- ask others
Erich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.): Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]. Springer 2002 Lecture Notes in Computer Science ISBN 3-540-00388-6

Part I. Introduction

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Farwer01
- ask others
Berndt Farwer: omega-Automata. 3-20
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Mazala01
- ask others
René Mazala: Infinite Games. 23-42

Part II. Determinization and Complementation

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Roggenbach01
- ask others
Markus Roggenbach: Determinization of Büchi-Automata. 43-60
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Klaedtke01
- ask others
Felix Klaedtke: Complementation of Büchi Automata Using Alternation. 61-78
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Schwoon01
- ask others
Stefan Schwoon: Determinization and Complementation of Streett Automata. 79-91

Part III. Parity Games

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Kusters01
- ask others
Ralf Küsters: Memoryless Determinacy of Parity Games. 95-106
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Klauck01
- ask others
Hartmut Klauck: Algorithms for Parity Games. 107-129

Part IV. Tree Automata

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Niessner01
- ask others
Frank Nießner: Nondeterministic Tree Automata. 135-152
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Kirsten01
- ask others
Daniel Kirsten: Alternating Tree Automata and Parity Games. 153-167

Part V. Modal µ-Calculus

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Zappe01
- ask others
Júlia Zappe: Modal µ-Calculus and Alternating Tree Automata. 171-184
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Alberucci01
- ask others
Luca Alberucci: Strictness of the Modal µ-Calculus Hierarchy. 185-201

Part VI. Monadic Second-Order Logic

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Weyer01
- ask others
Mark Weyer: Decidability of S1S and S2S. 207-230
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Reinhardt01
- ask others
Klaus Reinhardt: The Complexity of Translating Logic to Finite Automata. 231-238
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Rohde01
- ask others
Philipp Rohde: Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus. 239-257

Part VII. Tree-like Models

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Leucker01
- ask others
Martin Leucker: Prefix-Recognizable Graphs and Monadic Logic. 263-284
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BerwangerB01
- ask others
Dietmar Berwanger, Achim Blumensath: The Monadic Theory of Tree-like Structures. 285-302
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Cachat01
- ask others
Thierry Cachat: Two-Way Tree Automata Solving Pushdown Games. 303-317

Part VIII. Guarded Logics

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Rasch01
- ask others
Thoralf Räsch: Introduction to Guarded Logics. 321-342
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BerwangerB01a
- ask others
Dietmar Berwanger, Achim Blumensath: Automata for Guarded Fixed Point Logics. 343-355

Part IX. Appendices

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Fritz01
- ask others
Carsten Fritz: Some Fixed Point Basics. 359-364