Shuffle Expressions and Words with Nested Data
From MaRDI portal
Publication:3525617
DOI10.1007/978-3-540-74456-6_66zbMath1147.68554OpenAlexW1590226281MaRDI QIDQ3525617
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
Related Items (6)
Leafy automata for higher-order concurrency ⋮ A Note on C² Interpreted over Finite Data-Words ⋮ Model checking memoryful linear-time logics over one-counter automata ⋮ Weak and Nested Class Memory Automata ⋮ On Freeze LTL with Ordered Attributes ⋮ Algorithmic Analysis of Array-Accessing Programs
This page was built for publication: Shuffle Expressions and Words with Nested Data
