A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions

DOI10.1007/978-3-642-40537-2_3zbMath1401.68278OpenAlexW976457015MaRDI QIDQ2851929

Tobias Nipkow, Maximilian P. L. Haslbeck

Publication date: 4 October 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_3

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Quantitative Verification of Stochastic Regular Expressions

Uses Software

• Unnamed Item
• Myhill-Nerode

This page was built for publication: A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions