Pages that link to "Item:Q5055752"
From MaRDI portal
The following pages link to AC unification through order-sorted AC1 unification (Q5055752):
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 (Q1209613) (← links)
- Competing for the \(AC\)-unification race (Q1319390) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)