MSO definable text languages
From MaRDI portal
Publication:5096900
DOI10.1007/3-540-58338-6_88zbMath1493.68189MaRDI QIDQ5096900
Hendrik Jan Hoogeboom, Paulien ten Pas
Publication date: 18 August 2022
Published in: Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58338-6_88
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
68Q42: Grammars and rewriting systems
03B16: Higher-order logic
Related Items