Countdown $\mu$-calculus
Preprint in arXiv (July 2022)
The most recent citing publication is shown below. View this citation on Dimensions.
Descriptive Set Theoretic Methods in Automata Theory
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Basic Notions
-
Altmetric BadgeChapter 2 Introduction
-
Altmetric BadgeChapter 3 Collapse for Unambiguous Automata
-
Altmetric BadgeChapter 4 When a Büchi Language Is Definable in wmso
-
Altmetric BadgeChapter 5 Index Problems for Game Automata
-
Altmetric BadgeChapter 6 When a Thin Language Is Definable in wmso
-
Altmetric BadgeChapter 7 Recognition by Thin Algebras
-
Altmetric BadgeChapter 8 Uniformization on Thin Trees
-
Altmetric BadgeChapter 9 Descriptive Complexity of mso+u
-
Altmetric BadgeChapter 10 Undecidability of mso+u
-
Altmetric BadgeChapter 11 Separation for \(\omega \mathrm {B}\) - and \(\omega \mathrm {S}\) -regular Languages
-
Altmetric BadgeChapter 12 Conclusions