scientific article; zbMATH DE number 3337664
From MaRDI portal
Publication:5614656
Cited in
(19)- Construction of decidable singular theories of two successor functions with an extra predicate
- The complementation problem for Büchi automata with applications to temporal logic
- Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems
- Regularity-preserving relations
- Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
- An axiom system for the weak monadic second order theory of two successors
- On the complementation of Büchi automata
- Automata, Boolean matrices, and ultimate periodicity.
- The monadic theory of morphic infinite words and generalizations
- Shelah-Stupp's and Muchnik's iterations revisited
- Operations preserving regular languages
- On decidability of monadic logic of order over the naturals extended by monadic predicates
- Iterated pushdown automata and sequences of rational numbers
- The recursive sets in certain monadic second order fragments of arithmetic
- Infinite and bi-infinite words with decidable monadic theories
- scientific article; zbMATH DE number 7204449 (Why is no real title available?)
- A functional (monadic) second-order theory of infinite trees
- scientific article; zbMATH DE number 7147442 (Why is no real title available?)
- On the expansion of monadic second-order logic with Cantor-Bendixson rank and order type predicates
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5614656)
