A descriptive characterisation of even linear languages

DOI10.1023/B:GRAM.0000016586.10841.cdzbMath1055.68073MaRDI QIDQ1430213

Marc Bezem, Tore Langholm

Publication date: 27 May 2004

Published in: Grammars (Search for Journal in Brave)

zbMATH Keywords

model theoryformal languagesdescriptive complexityeven linear languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Descriptive complexity and finite models (68Q19)

Related Items (2)

A descriptive characterisation of linear languages ⋮ The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey

This page was built for publication: A descriptive characterisation of even linear languages