Vietnamese
Automata Logics, and Infinite Games
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 ω-Automata
-
Altmetric BadgeChapter 2 Infinite Games
-
Altmetric BadgeChapter 3 Determinization of Büchi-Automata
-
Altmetric BadgeChapter 4 Complementation of Büchi Automata Using Alternation
-
Altmetric BadgeChapter 5 Determinization and Complementation of Streett Automata
-
Altmetric BadgeChapter 6 Memoryless Determinacy of Parity Games
-
Altmetric BadgeChapter 7 Algorithms for Parity Games
-
Altmetric BadgeChapter 8 Nondeterministic Tree Automata
-
Altmetric BadgeChapter 9 Alternating Tree Automata and Parity Games
-
Altmetric BadgeChapter 10 Modal μ-Calculus and Alternating Tree Automata
-
Altmetric BadgeChapter 11 Strictness of the Modal μ-Calculus Hierarchy
-
Altmetric BadgeChapter 12 Decidability of S1S and S2S
-
Altmetric BadgeChapter 13 The Complexity of Translating Logic to Finite Automata
-
Altmetric BadgeChapter 14 Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
-
Altmetric BadgeChapter 15 Prefix-Recognizable Graphs and Monadic Logic
-
Altmetric BadgeChapter 16 The Monadic Theory of Tree-like Structures
-
Altmetric BadgeChapter 17 Two-Way Tree Automata Solving Pushdown Games
-
Altmetric BadgeChapter 18 Introduction to Guarded Logics
-
Altmetric BadgeChapter 19 Automata for Guarded Fixed Point Logics
-
Altmetric BadgeChapter 20 Some Fixed Point Basics