The following pages link to (Q3805960):
Displaying 19 items.
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- On the parameterized complexity of associative and commutative unification (Q729894) (← links)
- Unification in abelian semigroups (Q1098653) (← links)
- Associative-commutative unification (Q1099648) (← links)
- An algebraic approach to unification under associativity and commutativity (Q1099654) (← links)
- A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\) (Q1187854) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- AC unification through order-sorted AC1 unification (Q1209613) (← links)
- Adventures in associative-commutative unification (Q1262757) (← links)
- Competing for the \(AC\)-unification race (Q1319390) (← links)
- A formally verified solver for homogeneous linear Diophantine equations (Q1791187) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Infinite complete group presentations (Q1916428) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- (Q4035251) (← links)
- (Q4266522) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- “Syntactic” AC-unification (Q5096305) (← links)
- Set-term unification in a logic database language (Q6064020) (← links)