Publication:4205425

zbMATH Open0687.03014MaRDI QIDQ4205425FDOQ4205425

Catuscia Palamidessi

Publication date: 1989

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

zbMATH Keywords

logic programmingdeclarative semanticsHorn clause logicconcurrent logic languageslogic languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Cited In (6)

• Logic Based Program Synthesis and Transformation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extending Horn clause logic with implication goals
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras

Recommendations

• Semantical and computational aspects of Horn approximations 👍 👎
• On the declarative and procedural semantics of logic programs 👍 👎
• Semantics of Horn and disjunctive logic programs 👍 👎
• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic 👍 👎
• A declarative extension of horn clauses, and its significance for datalog and its applications 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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