The following pages link to Matching with Regular Constraints (Q5387841):
Displaying 6 items.
- Regular expression order-sorted unification and matching (Q741252) (← links)
- On the relation between context and sequence unification (Q1034550) (← links)
- Anti-unification for unranked terms and hedges (Q2352488) (← links)
- Matching Dynamics with Constraints (Q2936983) (← links)
- Constrained pattern matching (Q3189007) (← links)
- <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)