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

Part I. Introduction

Part II. Determinization and Complementation

Part III. Parity Games

Part IV. Tree Automata

Part V. Modal µ-Calculus

Part VI. Monadic Second-Order Logic

Part VII. Tree-like Models

Part VIII. Guarded Logics

Part IX. Appendices