Frontiers of Combining Systems
From MaRDI portal
Publication:5491899
DOI10.1007/11559306zbMath1171.68405OpenAlexW4205914269MaRDI 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
Qualified Computations in Functional Logic Programming ⋮ A new generic scheme for functional logic programming with constraints ⋮ 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 Logical Framework for Debugging in Declarative Constraint Programming ⋮ A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
This page was built for publication: Frontiers of Combining Systems