Pages that link to "Item:Q5432347"
From MaRDI portal
The following pages link to Sequence Unification Through Currying (Q5432347):
Displayed 4 items.
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Simplifying the signature in second-order unification (Q843951) (← links)
- On the relation between context and sequence unification (Q1034550) (← links)
- Anti-unification for unranked terms and hedges (Q2352488) (← links)