Shuffle Expressions and Words with Nested Data

DOI10.1007/978-3-540-74456-6_66MaRDI QIDQ3525617zbMATH OpenOpenAlexFDO

Authors Henrik Björklund, Mikołaj Bojańczyk

Publication date 17 September 2008

Published in Mathematical Foundations of Computer Science 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74456-6_66

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Nesting of shuffle closure is important
• Adding nesting structure to words
• scientific article; zbMATH DE number 992018
• Adding Nesting Structure to Words
• Shuffling and unshuffling

Cited in

(9)

• Infinite hierarchy of expressions containing shuffle closure operator
• Leafy automata for higher-order concurrency
• Weak and nested class memory automata
• On freeze LTL with ordered attributes
• Algorithmic Analysis of Array-Accessing Programs
• A Note on C² Interpreted over Finite Data-Words
• On the satisfiability of local first-order logics with data
• Contextual equivalence for state and control via nested data
• Model checking memoryful linear-time logics over one-counter automata

This page was built for publication: Shuffle Expressions and Words with Nested Data

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