Pages that link to "Item:Q1183419"
From MaRDI portal
The following pages link to Derivation of logic programs by functional methods (Q1183419):
Displaying 5 items.
- From logic design to logic programming. Theorem proving techniques and P- functions (Q1099944) (← links)
- A relational approach to logic programming: The extended Alexander method (Q1263276) (← links)
- Translation of logic programs into functional fixpoint equations (Q1823723) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Logic Based Program Synthesis and Transformation (Q5713938) (← links)