The following pages link to Frontiers of Combining Systems (Q5491899):
Displayed 5 items.
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming (Q2867959) (← links)
- A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mi>F</mml:mi><mml:mi>L</mml:mi><mml:mi>P</mml:mi></mml:math> Schem (Q2873802) (← links)
- A Logical Framework for Debugging in Declarative Constraint Programming (Q5170295) (← links)
- Qualified Computations in Functional Logic Programming (Q5325770) (← links)