Pages that link to "Item:Q4327430"
From MaRDI portal
The following pages link to Analyses of unsatisfiability for equational logic programming (Q4327430):
Displaying 8 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- Declarative debugging of functional logic programs (Q2841221) (← links)
- A debugging scheme for functional logic programs (Q2841284) (← links)
- Towards a Semantics of Unsatisfiability Proofs with Inprocessing (Q4645727) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)