Logical Aspects of the Lexicographic Order on 1-Counter Languages
From MaRDI portal
Publication:2849948
DOI10.1007/978-3-642-40313-2_55zbMath1400.68109OpenAlexW2064661MaRDI QIDQ2849948
Publication date: 20 September 2013
Published in: Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40313-2_55
Formal languages and automata (68Q45) Undecidability and degrees of sets of sentences (03D35) Automata and formal grammars in connection with logical questions (03D05)
Related Items (1)
This page was built for publication: Logical Aspects of the Lexicographic Order on 1-Counter Languages
