scientific article; zbMATH DE number 3337664
From MaRDI portal
Publication:5614656
Cited in
(18)- Construction of decidable singular theories of two successor functions with an extra predicate
- On the complementation of Büchi automata
- On decidability of monadic logic of order over the naturals extended by monadic predicates
- Iterated pushdown automata and sequences of rational numbers
- Shelah-Stupp's and Muchnik's iterations revisited
- Operations preserving regular languages
- Automata, Boolean matrices, and ultimate periodicity.
- Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
- Regularity-preserving relations
- The monadic theory of morphic infinite words and generalizations
- The recursive sets in certain monadic second order fragments of arithmetic
- scientific article; zbMATH DE number 7269253 (Why is no real title available?)
- The complementation problem for Büchi automata with applications to temporal logic
- scientific article; zbMATH DE number 7204449 (Why is no real title available?)
- scientific article; zbMATH DE number 7147442 (Why is no real title available?)
- An axiom system for the weak monadic second order theory of two successors
- Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems
- Infinite and bi-infinite words with decidable monadic theories
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)
