scientific article; zbMATH DE number 1420827

MaRDI QIDQ4944895zbMATH OpenFDO

Authors Gopal Gupta

Publication date 22 March 2000

Mathematics Subject Classification ID

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

Recommendations

• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
• scientific article; zbMATH DE number 3902017
• scientific article; zbMATH DE number 3890703
• Denotational and operational semantics for prolog
• A fixpoint semantics of Horn sentences based on substitution sets

Cited in

(6)

• Logic Based Program Synthesis and Transformation
• scientific article; zbMATH DE number 4068250 (Why is no real title available?)
• scientific article; zbMATH DE number 4160108 (Why is no real title available?)
• scientific article; zbMATH DE number 4125378 (Why is no real title available?)
• scientific article; zbMATH DE number 2090546 (Why is no real title available?)
• Logics of programs as a fuelling force for semantics

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