The following pages link to Regular expression containment (Q5408558):
Displaying 6 items.
- Translating regular expression matching into transducers (Q420836) (← links)
- Simple linear string constraints (Q469349) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- A Computational Interpretation of Context-Free Expressions (Q5056002) (← links)
- (Q5079743) (← links)
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity (Q6135767) (← links)
