Pages that link to "Item:Q6487297"
From MaRDI portal
The following pages link to On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297):
Displaying 4 items.
- A rationale for conditional equational programming (Q915429) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- An universal termination condition for solving goals in equational languages (Q5881302) (← links)
- Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)