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

[–] 

Refine list

showing all 21 records

refine by search term

refine by author

refine by access 

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