Pages that link to "Item:Q2457427"
From MaRDI portal
The following pages link to Solving equations with sequence variables and sequence functions (Q2457427):
Displaying 8 items.
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Simplifying the signature in second-order unification (Q843951) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- On the relation between context and sequence unification (Q1034550) (← links)
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- Anti-unification for unranked terms and hedges (Q2352488) (← links)
- A Constraint Solver for Equations over Sequences and Contexts (Q2955914) (← links)
- <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)
