Finite automata and the logic of one-place predicates
From MaRDI portal
Publication:5586356
DOI10.1090/trans2/059/02zbMath0192.07801MaRDI QIDQ5586356
Publication date: 1962
Published in: Twelve Papers on Logic and Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/trans2/059/02
Related Items
The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates, Computability of analog networks, Finite acceptance of infinite words, On syntactic congruences for \(\omega\)-languages, Automata over continuous time, On decidability of monadic logic of order over the naturals extended by monadic predicates, Decidable Extensions of Church’s Problem