Pages that link to "Item:Q1209613"
From MaRDI portal
The following pages link to AC unification through order-sorted AC1 unification (Q1209613):
Displaying 5 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- Order-sorted unification (Q582269) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- “Syntactic” AC-unification (Q5096305) (← links)