scientific article
From MaRDI portal
Publication:3837737
zbMath0865.03008MaRDI QIDQ3837737
Christian Michaux, Roger Villemaire
Publication date: 1 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveydecidabilitydefinabilityBertrand numeration systemsPresburger ArithmeticBüchi ArithmeticsCobham's Theoremweak monadic second-order theory of one successor
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)
Related Items (2)
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems ⋮ The monadic theory of morphic infinite words and generalizations
This page was built for publication:
