The following pages link to Term Rewriting and Applications (Q5703875):
Displaying 3 items.
- Deciding the word problem in the union of equational theories. (Q1400706) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- Unification in a combination of equational theories: an efficient algorithm (Q6488538) (← links)