The following pages link to (Q5614656):
Displayed 18 items.
- Construction of decidable singular theories of two successor functions with an extra predicate (Q1079557) (← links)
- The complementation problem for Büchi automata with applications to temporal logic (Q1088653) (← links)
- Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems (Q1179180) (← links)
- Regularity-preserving relations (Q1236516) (← links)
- Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes (Q1249573) (← links)
- An axiom system for the weak monadic second order theory of two successors (Q1253650) (← links)
- On the complementation of Büchi automata (Q1822512) (← links)
- Automata, Boolean matrices, and ultimate periodicity. (Q1854295) (← links)
- The monadic theory of morphic infinite words and generalizations (Q1854542) (← links)
- Shelah-Stupp's and Muchnik's iterations revisited (Q2117107) (← links)
- Operations preserving regular languages (Q2368978) (← links)
- On decidability of monadic logic of order over the naturals extended by monadic predicates (Q2373700) (← links)
- Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
- The recursive sets in certain monadic second order fragments of arithmetic (Q4088807) (← links)
- (Q4585066) (← links)
- (Q5111328) (← links)
- (Q5129949) (← links)
- (Q5207050) (← links)