Frontiers of Combining Systems
From MaRDI portal
Publication:5491899
DOI10.1007/11559306zbMath1171.68405MaRDI QIDQ5491899
Publication date: 10 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11559306
Related Items
A Logical Framework for Debugging in Declarative Constraint Programming, Qualified Computations in Functional Logic Programming, 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> Scheme, A new generic scheme for functional logic programming with constraints, A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming