The following pages link to Term Rewriting and Applications (Q5703878):
Displaying 7 items.
- On the complexity of deduction modulo leaf permutative equations (Q556681) (← links)
- Permutative rewriting and unification (Q876048) (← links)
- Single versus simultaneous equational unification and equational unification for variable-permuting theories (Q1367080) (← links)
- (Q3785922) (← links)
- Automated Reasoning (Q5307077) (← links)
- Automated Reasoning (Q5307078) (← links)
- On Asymmetric Unification and the Combination Problem in Disjoint Theories (Q5410678) (← links)