scientific article
From MaRDI portal
Publication:2920116
DOI10.4230/LIPICS.FSTTCS.2009.2310zbMath1250.03056MaRDI QIDQ2920116
Publication date: 24 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_33ef.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monadic second-order logicfundamental sequenceprefix-recognizable graphsordinal theorypushdown hierarchy
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57) Hierarchies of computability and definability (03D55)
Related Items (1)
This page was built for publication:
