scientific article; zbMATH DE number 683344

MaRDI QIDQ4312460zbMATH OpenFDO

Authors Erik Palmgren

Publication date 8 November 1994

zbMATH Keywords

constraint logic programmingconstraint programmingdenotational semanticsinfinite computationslogic programming

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3888910
• scientific article; zbMATH DE number 139622
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• scientific article; zbMATH DE number 3978355
• Toward a declarative semantics for infinite objects in logic programming

Cited in

(7)

• A fully abstract semantics for concurrent constraint programming
• The role of standardising apart in logic programming
• Denotational semantics in the cpo and metric approach
• scientific article; zbMATH DE number 3978355 (Why is no real title available?)
• scientific article; zbMATH DE number 4128359 (Why is no real title available?)
• Nondeterminism and infinite computations in constraint programming
• Denotational semantics of CSP

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