Pages that link to "Item:Q5536641"
From MaRDI portal
The following pages link to A Procedure for Checking Equality of Regular Expressions (Q5536641):
Displaying 7 items.
- Partial derivatives of regular expressions and finite automaton constructions (Q672142) (← links)
- Rewriting extended regular expressions (Q673635) (← links)
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- THE COMPLEXITY OF REGULAR(-LIKE) EXPRESSIONS (Q2909093) (← links)
- Some remarks on the KH algorithm fors-grammars (Q4055220) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)
- (Q5576262) (← links)
