scientific article

DOI10.4230/LIPIcs.FSTTCS.2009.2328zbMath1248.68310MaRDI QIDQ2920139

Karianto Wong, Christof Löding

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_5e2e.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monadic second-order logicunranked tree automataequality and disequality constraints

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (2)

Verifying quantitative temporal properties of procedural programs ⋮ A Characterisation of Pi^0_2 Regular Tree Languages

This page was built for publication: