657 followers
Safra's Constructionが良くわかる本を見つけた (Correctnessはまだ追えていない) Determinization of Büchi-Automata | SpringerLink https://t.co/r2tYHrmGWd
831 followers
Automata Logics, and Infinite Games https://t.co/BmcrPHjiC1 ダウンロードした
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
Altmetric Badge
About this Attention Score
-
High Attention Score compared to outputs of the same age (80th percentile)
-
Above-average Attention Score compared to outputs of the same age and source (63rd percentile)
Citations
- dimensions_citation
- 407 Dimensions
Readers on
- mendeley
- 65 Mendeley