An Extension of Muchnik's Theorem

DOI10.1093/LOGCOM/EXH037zbMath1067.03016OpenAlexW1892007010MaRDI QIDQ4673357

Stephan Kreutzer, Achim Blumensath

Publication date: 29 April 2005

Published in: Unnamed Author (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exh037

zbMATH Keywords

monadic second-order logicMuchnik's theoremfixed point logicsfinite automata on infinite labelled trees

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (3)

Simple monadic theories and partition width ⋮ The mu-calculus and Model Checking ⋮ On the structure of graphs in the Caucal hierarchy

This page was built for publication: An Extension of Muchnik's Theorem