Pages that link to "Item:Q1262757"
From MaRDI portal
The following pages link to Adventures in associative-commutative unification (Q1262757):
Displaying 4 items.
- On the parameterized complexity of associative and commutative unification (Q729894) (← links)
- Type dependencies for logic programs using ACI-unification (Q1575243) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)
