Pages that link to "Item:Q1262757"
From MaRDI portal
The following pages link to Adventures in associative-commutative unification (Q1262757):
Displaying 15 items.
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- On the parameterized complexity of associative and commutative unification (Q729894) (← links)
- Associative-commutative unification (Q1099648) (← links)
- An algebraic approach to unification under associativity and commutativity (Q1099654) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- Type dependencies for logic programs using ACI-unification (Q1575243) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- An efficient labelled nested multiset unification algorithm (Q2152299) (← links)
- (Q3805960) (← links)
- (Q4035251) (← links)
- (Q4266522) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)
- Rewriting Techniques and Applications (Q5901563) (← links)
- Automata-driven efficient subterm unification (Q5940920) (← links)