What is included with this book?
[omega]-Automata | p. 3 |
Infinite Games | p. 23 |
Determinization of Buchi-Automata | p. 43 |
Complementation of Buchi Automata Using Alternation | p. 61 |
Determinization and Complementation of Streett Automata | p. 79 |
Memoryless Determinacy of Parity Games | p. 95 |
Algorithms for Parity Games | p. 107 |
Nondeterministic Tree Automata | p. 135 |
Alternating Tree Automata and Parity Games | p. 153 |
Model [mu]-Calculus and Alternating Tree Automata | p. 171 |
Strictness of the Modal [mu]-Calculus Hierarchy | p. 185 |
Decidability of S1S and S2S | p. 207 |
The Complexity of Translating Logic to Finite Automata | p. 231 |
Expressive Power of Monadic Second-Order Logic and Modal [mu]-Calculus | p. 239 |
Prefix-Recognizable Graphs and Monadic Logic | p. 263 |
The Monadic Theory of Tree-like Structures | p. 285 |
Two-Way Tree Automata Solving Pushdown Games | p. 303 |
Introduction to Guarded Logics | p. 321 |
Automata for Guarded Fixed Point Logics | p. 343 |
Some Fixed Point Basics | p. 359 |
Literature | p. 365 |
Symbol Index | p. 377 |
Index | p. 381 |
Table of Contents provided by Blackwell. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.