scientific article
From MaRDI portal
Publication:3346281
zbMath0553.03005MaRDI QIDQ3346281
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Related Items (21)
On Boolean closed full trios and rational Kripke frames ⋮ Asymptotic Subword Complexity ⋮ Simple monadic theories and partition width ⋮ Nonmaximal decidable structures ⋮ The mu-calculus and Model Checking ⋮ Choice functions and well-orderings over the infinite binary tree ⋮ Model Transformations in Decidability Proofs for Monadic Theories ⋮ On the structure of graphs in the Caucal hierarchy ⋮ Exact complexity bounds for ordinal addition ⋮ Rabin's theorem in the concurrency setting: a conjecture ⋮ On Monadic Theories of Monadic Predicates ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ Iterated pushdown automata and sequences of rational numbers ⋮ Decidable Expansions of Labelled Linear Orderings ⋮ Unnamed Item ⋮ Regular sets over extended tree structures ⋮ Monadic second-order logic, graph coverings and unfoldings of transition systems ⋮ On decidability of list structures ⋮ On infinite transition graphs having a decidable monadic theory ⋮ Monadic second-order logic on tree-like structures ⋮ Shelah-Stupp's and Muchnik's iterations revisited
This page was built for publication:
