scientific article; zbMATH DE number 1337861

zbMATH Open0947.68021MaRDI QIDQ4264201FDOQ4264201

Krzysztof R. Apt

Publication date: 4 June 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

constraint programming

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• An analysis of arithmetic constraints on integer intervals
• Integration and propagation of a multi-criteria decision making model in constraint programming
• Title not available (Why is that?)
• A Transformational Approach for Proving Properties of the CHR Constraint Store
• From chaotic iteration to constraint propagation
• Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints

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)