scientific article; zbMATH DE number 1337861

MaRDI QIDQ4264201zbMATHFDO

Authors Krzysztof R. Apt

Publication date 4 June 2000

zbMATH Keywords

constraint programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• scientific article; zbMATH DE number 1337859
• scientific article; zbMATH DE number 1140685
• Constraint programming viewed as rule-based programming
• CLP(χ) for automatically proving program properties1An earlier version of this paper was presented at the workshop “Frontiers of Combining Systems”, Munich, March 1996.1

Cited in

(10)

• Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints
• A certified constraint solver over finite domains
• A Transformational Approach for Proving Properties of the CHR Constraint Store
• scientific article; zbMATH DE number 5510503 (Why is no real title available?)
• From chaotic iteration to constraint propagation
• An analysis of arithmetic constraints on integer intervals
• Integration and propagation of a multi-criteria decision making model in constraint programming
• scientific article; zbMATH DE number 2086586 (Why is no real title available?)
• Processes, Terms and Cycles: Steps on the Road to Infinity
• scientific article; zbMATH DE number 1538007 (Why is no real title available?)

Describes a project that uses

Uses Software

• CLAIRE
• Oz

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4264201)