Regex_Equivalence

swMATH32229MaRDI QIDQ43940FDOQ43940

Author name not available (Why is that?)

Described by source

• Unified Decision Procedures for Regular Expression Equivalence

Cited In (6)

• On the fine-structure of regular algebra
• Title not available (Why is that?)
• A mesh of automata
• Verified decision procedures for MSO on words based on derivatives of regular expressions
• Derivatives and partial derivatives for regular shuffle expressions
• Two-Way Automata in Coq

This page was built for software: Regex_Equivalence