Pages that link to "Item:Q2119990"
From MaRDI portal
The following pages link to A proof method for local sufficient completeness of term rewriting systems (Q2119990):
Displaying 4 items.
- On sufficient-completeness and related properties of term rewriting systems (Q1077161) (← links)
- A local termination property for term rewriting systems (Q5055724) (← links)
- Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)