scientific article; zbMATH DE number 176531

MaRDI QIDQ4035697zbMATH OpenFDO

Authors François Denis, Jean-Paul Delahaye

Publication date 18 May 1993

zbMATH Keywords

semantics of logic programsunfolding semantics

Mathematics Subject Classification ID

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

Recommendations

• Unfolding and fixpoint semantics of concurrent constraint logic programs
• scientific article; zbMATH DE number 2059537
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Unfold/fold transformations of logic programs
• scientific article; zbMATH DE number 1754691

Cited in

(18)

• S-semantics for logic programming: a retrospective look
• Abstract interpretation of resolution-based semantics
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Transforming constraint logic programs
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• The reduced relative power operation on abstract domains
• A compositional semantics for logic programs
• Fixpoint semantics for logic programming a survey
• On Negative Unfolding in the Answer Set Semantics
• Programs, Recursion and Unbounded Choice
• scientific article; zbMATH DE number 2059537 (Why is no real title available?)
• scientific article; zbMATH DE number 1754691 (Why is no real title available?)
• Towards a Semantics of Unsatisfiability Proofs with Inprocessing
• scientific article; zbMATH DE number 936828 (Why is no real title available?)
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Efficient Local Unfolding with Ancestor Stacks for Full Prolog
• Guided unfoldings for finding loops in standard term rewriting
• Is there an axiomatic semantics for standard pure Prolog?

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