Colored Nested Words

DOI10.1007/978-3-319-30000-9_11zbMath1443.68079OpenAlexW2401426563MaRDI QIDQ2798716

Dana Fisman, Rajeev Alur

Publication date: 13 April 2016

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-30000-9_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items (6)

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages ⋮ Generalizing input-driven languages: theoretical and practical benefits ⋮ Operator precedence temporal logic and model checking ⋮ Unnamed Item ⋮ Weighted operator precedence languages ⋮ Weighted Operator Precedence Languages

This page was built for publication: Colored Nested Words