Colored Nested Words

DOI10.1007/978-3-319-30000-9_11MaRDI QIDQ2798716zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Colored nested words
• Greedy colorings of words
• Complicated colorings
• Coloring problems for infinite words
• Color-coding
• Adding nesting structure to words
• Adding Nesting Structure to Words
• A coloring problem for infinite words
• Nested colourings of graphs
• scientific article; zbMATH DE number 1534588

Cited in

(10)

• Generalizing input-driven languages: theoretical and practical benefits
• Weighted operator precedence languages
• Colored nested words
• Operator precedence temporal logic and model checking
• Adding nesting structure to words
• Model Checking: From Tools to Theory
• Adding Nesting Structure to Words
• A first-order complete temporal logic for structured context-free languages
• Weighted operator precedence languages
• Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages

This page was built for publication: Colored Nested Words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2798716)