MSO-definable Properties of Muller Context-Free Languages Are Decidable
From MaRDI portal
Publication:2829973
DOI10.1007/978-3-319-41114-9_7zbMath1476.03050MaRDI QIDQ2829973
Publication date: 9 November 2016
Published in: Descriptional Complexity of Formal Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01633953/file/416473_1_En_7_Chapter.pdf
03D05: Automata and formal grammars in connection with logical questions