scientific article; zbMATH DE number 1407681

zbMATH Open0944.68021MaRDI QIDQ4940936FDOQ4940936

Authors: J. Leach, Susana Nieva, M. Rodríguez Artalejo 

Publication date: 26 September 2000

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

Recommendations

• Constraint Logic Programming with Hereditary Harrop formulas
• scientific article; zbMATH DE number 1692894
• A proof procedure for the logic of hereditary Harrop formulas
• scientific article; zbMATH DE number 826301
• Formalizing two fixed point semantics for \(HH(C)\)

zbMATH Keywords

constraint logic programminghereditary Harrop formulas

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70)

Cited In (7)

• Formalizing two fixed point semantics for \(HH(C)\)
• A compositional typed higher-order logic with definitions
• An extended constraint deductive database: theory and implementation
• Title not available (Why is that?)
• Constraint Logic Programming with Hereditary Harrop formulas
• Title not available (Why is that?)
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation

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