Book Volume 2500 2002

Automata Logics, and Infinite Games

A Guide to Current Research

Editors:

ISBN: 978-3-540-00388-5 (Print) 978-3-540-36387-3 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages I-VIII

  2. Introduction

    1. Front Matter

      Pages 2-2

    2. No Access

      Chapter

      Pages 3-21

      ω-Automata

    3. No Access

      Chapter

      Pages 23-38

      Infinite Games

    4. Back Matter

      Pages 39-40

  3. Determinization and Complementation

    1. Front Matter

      Pages 42-42

    2. No Access

      Chapter

      Pages 43-60

      Determinization of Büchi-Automata

    3. No Access

      Chapter

      Pages 61-77

      Complementation of Büchi Automata Using Alternation

    4. No Access

      Chapter

      Pages 79-91

      Determinization and Complementation of Streett Automata

    5. Back Matter

      Pages 92-92

  4. Parity Games

    1. Front Matter

      Pages 94-94

    2. No Access

      Chapter

      Pages 95-106

      Memoryless Determinacy of Parity Games

    3. No Access

      Chapter

      Pages 107-129

      Algorithms for Parity Games

    4. Back Matter

      Pages 130-131

  5. Tree Automata

    1. Front Matter

      Pages 133-133

    2. No Access

      Chapter

      Pages 135-152

      Nondeterministic Tree Automata

    3. No Access

      Chapter

      Pages 153-167

      Alternating Tree Automata and Parity Games

    4. Back Matter

      Pages 168-168

  6. Modal μ-Calculus

    1. Front Matter

      Pages 170-170

    2. No Access

      Chapter

      Pages 171-184

      Modal μ-Calculus and Alternating Tree Automata

    3. No Access

      Chapter

      Pages 185-201

      Strictness of the Modal μ-Calculus Hierarchy

    4. Back Matter

      Pages 202-203

  7. Monadic Second-Order Logic

    1. Front Matter

      Pages 205-205

    2. No Access

      Chapter

      Pages 207-230

      Decidability of S1S and S2S

    3. No Access

      Chapter

      Pages 231-238

      The Complexity of Translating Logic to Finite Automata

    4. No Access

      Chapter

      Pages 239-257

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

    5. Back Matter

      Pages 258-259

  8. Tree-like Models

    1. Front Matter

      Pages 261-261

    2. No Access

      Chapter

      Pages 263-283

      Prefix-Recognizable Graphs and Monadic Logic

    3. No Access

      Chapter

      Pages 285-301

      The Monadic Theory of Tree-like Structures

    4. No Access

      Chapter

      Pages 303-317

      Two-Way Tree Automata Solving Pushdown Games

    5. Back Matter

      Pages 318-318

  9. Guarded Logics

    1. Front Matter

      Pages 320-320

    2. No Access

      Chapter

      Pages 321-341

      Introduction to Guarded Logics

    3. No Access

      Chapter

      Pages 343-355

      Automata for Guarded Fixed Point Logics

    4. Back Matter

      Pages 356-356

  10. Appendices

    1. Front Matter

      Pages 358-358

    2. No Access

      Chapter

      Pages 359-364

      Some Fixed Point Basics

  11. Back Matter

    Pages 365-385