Derivatives of Quantitative Regular Expressions

DOI10.1007/978-3-319-63121-9_4zbMath1431.68056OpenAlexW2739464847MaRDI QIDQ5217297

Konstantinos Mamouras, Dogan Ulus, Rajeev Alur

Publication date: 24 February 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63121-9_4

Mathematics Subject Classification ID

Database theory (68P15) Formal languages and automata (68Q45) Online algorithms; streaming algorithms (68W27)

Related Items (3)

Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ Calculational design of a regular model checker by abstract interpretation ⋮ Streamable regular transductions

This page was built for publication: Derivatives of Quantitative Regular Expressions