scientific article
From MaRDI portal
Publication:3787992
zbMath0645.03036MaRDI QIDQ3787992
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
metric space of treesbounded formula suffixmonadic second order language for two successors arithmeticrepresentable closed setsrepresentable open setsThomas hierarchy
Automata and formal grammars in connection with logical questions (03D05) Complexity of computation (including implicit computational complexity) (03D15) Second- and higher-order arithmetic and fragments (03F35)
Related Items
The Borel hierarchy is infinite in the class of regular sets of trees ⋮ Hierarchies of weak automata and weak monadic formulas
