scientific article; zbMATH DE number 5064388
From MaRDI portal
Publication:5493740
zbMath1110.03023MaRDI QIDQ5493740
Publication date: 16 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10) Combinatory logic and lambda calculus (03B40)
Related Items (3)
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata ⋮ Regular languages of nested words: fixed points, automata, and synchronization ⋮ The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
This page was built for publication:
