Pages that link to "Item:Q2639627"
From MaRDI portal
The following pages link to Unification modulo an equality theory for equational logic programming (Q2639627):
Displaying 5 items.
- Narrowing vs. SLD-resolution (Q1105364) (← links)
- Foundations of equational logic programming (Q1801319) (← links)
- Combining Logic Programming and Equation Solving (Q3348390) (← links)
- Analyses of unsatisfiability for equational logic programming (Q4327430) (← links)
- An optimal narrowing strategy for general canonical systems (Q5881212) (← links)