Derivatives for Regular Shuffle Expressions
From MaRDI portal
Publication:2799179
DOI10.1007/978-3-319-15579-1_21zbMath1423.68266OpenAlexW818601136MaRDI QIDQ2799179
Martin Sulzmann, Peter Thiemann
Publication date: 8 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-15579-1_21
Related Items
Derivatives and partial derivatives for regular shuffle expressions, Location automata for regular expressions with shuffle and intersection, Location automata for synchronised shuffle expressions, Automata for regular expressions with shuffle, Partial Derivatives for Context-Free Languages, Reordering Derivatives of Trace Closures of Regular Languages., Derivatives for Enhanced Regular Expressions
Cites Work
- Unnamed Item
- Succinctness of regular expressions with interleaving, intersection and counting
- Langages infinitaires et produit de mixage
- Concurrent regular expressions and their relationship to Petri nets
- Synchronized shuffles
- Regular-expression derivatives re-examined
- Rewriting regular inequalities
- Kleene Theorems for Product Systems
- Algebra and Coalgebra in Computer Science
- Derivatives of Regular Expressions