A higher-order logic programming language with constraints

DOI10.1007/3-540-44716-4_7MaRDI QIDQ2763634zbMATH OpenFDO

Authors J. Leach, Susana Nieva

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240108

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1407681
• Constraint Logic Programming with Hereditary Harrop formulas
• Higher-Order Logic Programming Languages with Constraints: A Semantics
• Kripke semantics for higher-order type theory applied to constraint logic programming languages
• Higher-order Horn clauses

Cited in

(5)

• Higher-Order Logic Programming Languages with Constraints: A Semantics
• Constraint Logic Programming with Hereditary Harrop formulas
• scientific article; zbMATH DE number 1407681 (Why is no real title available?)
• scientific article; zbMATH DE number 2242590 (Why is no real title available?)
• Kripke semantics for higher-order type theory applied to constraint logic programming languages

This page was built for publication: A higher-order logic programming language with constraints

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