Pages that link to "Item:Q3395137"
From MaRDI portal
The following pages link to ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED (Q3395137):
Displayed 5 items.
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- Partial Derivative Automata Formalized in Coq (Q3073622) (← links)
- Automated temporal verification for algebraic effects (Q6176569) (← links)