Context-Free Graph Properties via Definable Decompositions

DOI10.4230/LIPIcs.CSL.2016.17zbMath1370.03049OpenAlexW2549955309MaRDI QIDQ5278403

Michael Elberfeld

Publication date: 19 July 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CSL.2016.17

zbMATH Keywords

monadic second-order logictree decompositionexpressive powercontext-free languagesfinite model theory

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Model theory of finite structures (03C13)

Related Items (1)

Unnamed Item

This page was built for publication: Context-Free Graph Properties via Definable Decompositions