default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > Dagstuhl

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/dagstuhl/2001automata
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2001automata
Erich Grädel, Wolfgang Thomas, Thomas Wilke:
Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]. Lecture Notes in Computer Science 2500, Springer 2002, ISBN 3-540-00388-6

Part I. Introduction

- view
- export record
  dblp key:
  - conf/dagstuhl/Farwer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Farwer01
Berndt Farwer:
omega-Automata. 3-20
- view
- export record
  dblp key:
  - conf/dagstuhl/Mazala01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Mazala01
René Mazala:
Infinite Games. 23-42

Part II. Determinization and Complementation

- view
- export record
  dblp key:
  - conf/dagstuhl/Roggenbach01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Roggenbach01
Markus Roggenbach:
Determinization of Büchi-Automata. 43-60
- view
- export record
  dblp key:
  - conf/dagstuhl/Klaedtke01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Klaedtke01
Felix Klaedtke:
Complementation of Büchi Automata Using Alternation. 61-78
- view
- export record
  dblp key:
  - conf/dagstuhl/Schwoon01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Schwoon01
Stefan Schwoon:
Determinization and Complementation of Streett Automata. 79-91

Part III. Parity Games

- view
- export record
  dblp key:
  - conf/dagstuhl/Kusters01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Kusters01
Ralf Küsters:
Memoryless Determinacy of Parity Games. 95-106
- view
- export record
  dblp key:
  - conf/dagstuhl/Klauck01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Klauck01
Hartmut Klauck:
Algorithms for Parity Games. 107-129

Part IV. Tree Automata

- view
- export record
  dblp key:
  - conf/dagstuhl/Niessner01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Niessner01
Frank Nießner:
Nondeterministic Tree Automata. 135-152
- view
- export record
  dblp key:
  - conf/dagstuhl/Kirsten01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Kirsten01
Daniel Kirsten:
Alternating Tree Automata and Parity Games. 153-167

Part V. Modal µ-Calculus

- view
- export record
  dblp key:
  - conf/dagstuhl/Zappe01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Zappe01
Júlia Zappe:
Modal µ-Calculus and Alternating Tree Automata. 171-184
- view
- export record
  dblp key:
  - conf/dagstuhl/Alberucci01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Alberucci01
Luca Alberucci:
Strictness of the Modal µ-Calculus Hierarchy. 185-201

Part VI. Monadic Second-Order Logic

- view
- export record
  dblp key:
  - conf/dagstuhl/Weyer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Weyer01
Mark Weyer:
Decidability of S1S and S2S. 207-230
- view
- export record
  dblp key:
  - conf/dagstuhl/Reinhardt01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Reinhardt01
Klaus Reinhardt:
The Complexity of Translating Logic to Finite Automata. 231-238
- view
- export record
  dblp key:
  - conf/dagstuhl/Rohde01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Rohde01
Philipp Rohde:
Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus. 239-257

Part VII. Tree-like Models

- view
- export record
  dblp key:
  - conf/dagstuhl/Leucker01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Leucker01
Martin Leucker:
Prefix-Recognizable Graphs and Monadic Logic. 263-284
- view
- export record
  dblp key:
  - conf/dagstuhl/BerwangerB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BerwangerB01
Dietmar Berwanger, Achim Blumensath:
The Monadic Theory of Tree-like Structures. 285-302
- view
- export record
  dblp key:
  - conf/dagstuhl/Cachat01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Cachat01
Thierry Cachat:
Two-Way Tree Automata Solving Pushdown Games. 303-317

Part VIII. Guarded Logics

- view
- export record
  dblp key:
  - conf/dagstuhl/Rasch01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Rasch01
Thoralf Räsch:
Introduction to Guarded Logics. 321-342
- view
- export record
  dblp key:
  - conf/dagstuhl/BerwangerB01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BerwangerB01a
Dietmar Berwanger, Achim Blumensath:
Automata for Guarded Fixed Point Logics. 343-355

Part IX. Appendices

- view
- export record
  dblp key:
  - conf/dagstuhl/Fritz01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Fritz01
Carsten Fritz:
Some Fixed Point Basics. 359-364

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.