scientific article; zbMATH DE number 1332644

zbMATH Open0924.68050MaRDI QIDQ4259971FDOQ4259971

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

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

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

zbMATH Keywords

Jaffar-Lassez constraint logic programming scheme

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (5)

• Selective Unification in (Constraint) Logic Programming*
• On the verification of security-aware E-services
• Combination of constraint systems II: Rational amalgamation
• Title not available (Why is that?)
• Title not available (Why is that?)

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)