The following pages link to (Q3809306):
Displaying 7 items.
- Equational completion in order-sorted algebras (Q912606) (← links)
- Critical pair criteria for completion (Q1106659) (← links)
- Schematization of infinite sets of rewrite rules generated by divergent completion processes (Q1262755) (← links)
- The equational part of proofs by structural induction (Q1317862) (← links)
- Proving termination of (conditional) rewrite systems. A semantic approach (Q1323317) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- (Q4993332) (← links)
