The following pages link to Completion for unification (Q1178701):
Displaying 5 items.
- Partial completion of equational theories (Q1592635) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- Stream fusion, to completeness (Q5370864) (← links)
- Linear completion (Q5881280) (← links)
- Complete equational unification based on an extension of the Knuth-Bendix completion procedure (Q6114511) (← links)