scientific article; zbMATH DE number 1332644

MaRDI QIDQ4259971zbMATH OpenFDO

Authors Cesare Tinelli, Mehdi T. Harandi

Publication date 9 September 1999

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-06/A98-06.html

zbMATH Keywords

Jaffar-Lassez constraint logic programming scheme

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• scientific article; zbMATH DE number 1926617
• Unions of non-disjoint theories and combinations of satisfiability procedures
• scientific article; zbMATH DE number 4058908
• Hierarchical constraint logic programming

Cited in

(5)

• scientific article; zbMATH DE number 4078850 (Why is no real title available?)
• On the verification of security-aware E-services
• scientific article; zbMATH DE number 6820296 (Why is no real title available?)
• Selective Unification in (Constraint) Logic Programming*
• Combination of constraint systems II: Rational amalgamation

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 Q4259971)