Pages that link to "Item:Q4943553"
From MaRDI portal
The following pages link to A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553):
Displaying 6 items.
- Nondeterministic regular expressions as solutions of equational systems. (Q1401324) (← links)
- Categories with sums and right distributive tensor product (Q1861509) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- A Compact Proof of Decidability for Regular Expression Equivalence (Q2914749) (← links)
- An Equational Axiomatization of Bisimulation over Regular Expressions (Q4542240) (← links)
- (Q4874651) (← links)