scientific article
From MaRDI portal
Publication:2904796
DOI10.4230/LIPICS.STACS.2012.589zbMath1245.68121MaRDI QIDQ2904796
Publication date: 23 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (3)
Krivine machines and higher-order schemes ⋮ On first-order logic and CPDA graphs ⋮ The IO and OI hierarchies revisited
This page was built for publication:
