Pages that link to "Item:Q1099654"
From MaRDI portal
The following pages link to An algebraic approach to unification under associativity and commutativity (Q1099654):
Displaying 20 items.
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- On the parameterized complexity of associative and commutative unification (Q729894) (← links)
- Permutative rewriting and unification (Q876048) (← links)
- Unification in abelian semigroups (Q1098653) (← links)
- Efficient solution of linear diophantine equations (Q1121310) (← 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)
- Unification in permutative equational theories is undecidable (Q1825190) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- (Q3119265) (← links)
- (Q3204056) (← links)
- (Q3789063) (← links)
- (Q3805960) (← links)
- (Q4035251) (← links)
- (Q4266522) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)
- (Q5219021) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)