Pages that link to "Item:Q3525083"
From MaRDI portal
The following pages link to A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees (Q3525083):
Displayed 4 items.
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- A Framework for Interpreting Traces of Functional Logic Computations (Q2873790) (← links)
- Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming (Q3067475) (← links)
- A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains (Q5179011) (← links)