Pages that link to "Item:Q1824410"
From MaRDI portal
The following pages link to An ordering linear unification algorithm (Q1824410):
Displaying 6 items.
- Order-sorted unification (Q582269) (← links)
- A practically efficient and almost linear unification algorithm (Q1105360) (← links)
- Unification in pseudo-linear sort theories is decidable (Q4647533) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- (Q5144611) (← links)
- Linearizing partial search orders (Q6039439) (← links)