scientific article; zbMATH DE number 3337664

zbMATH Open0213.01901MaRDI QIDQ5614656FDOQ5614656

Authors: Dirk Siefkes 

Publication date: 1970

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Cited In (18)

• Infinite and bi-infinite words with decidable monadic theories
• An axiom system for the weak monadic second order theory of two successors
• Shelah-Stupp's and Muchnik's iterations revisited
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems
• The monadic theory of morphic infinite words and generalizations
• Regularity-preserving relations
• Iterated pushdown automata and sequences of rational numbers
• Automata, Boolean matrices, and ultimate periodicity.
• On the complementation of Büchi automata
• Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
• The recursive sets in certain monadic second order fragments of arithmetic
• Title not available (Why is that?)
• Operations preserving regular languages
• On decidability of monadic logic of order over the naturals extended by monadic predicates
• The complementation problem for Büchi automata with applications to temporal logic
• Construction of decidable singular theories of two successor functions with an extra predicate

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)