Symbolic Solving of Extended Regular Expression Inequalities.

DOI10.4230/LIPIcs.FSTTCS.2014.175zbMath1360.68565arXiv1410.3227OpenAlexW2963977162MaRDI QIDQ2978511

Peter Thiemann, Matthias S. Keil

Publication date: 25 April 2017

Full work available at URL: https://arxiv.org/abs/1410.3227

zbMATH Keywords

containmentinfinite alphabetextended regular expressioneffective Boolean algebrainfinite character set

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

Inferring Symbolic Automata ⋮ Automated temporal verification for algebraic effects ⋮ A synchronous effects logic for temporal verification of pure Esterel

This page was built for publication: Symbolic Solving of Extended Regular Expression Inequalities.