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

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

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)

• Weighted operator precedence languages
• Model Checking: From Tools to Theory
• Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
• scientific article; zbMATH DE number 7577575 (Why is no real title available?)
• Operator precedence temporal logic and model checking
• Colored nested words
• Adding Nesting Structure to Words
• Weighted operator precedence languages
• Adding nesting structure to words
• Generalizing input-driven languages: theoretical and practical benefits

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)