scientific article; zbMATH DE number 4174904

MaRDI QIDQ3199402zbMATH OpenFDO

Authors Anil N. Hirani, V. S. Subrahmanian

Publication date 1990

zbMATH Keywords

algebra of logic programsbounded distributive latticeHerbrand interpretationlogic program semanticsprogram compositionprogram equivalence

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 2134134
• Fully abstract compositional semantics for an algebra of logic programs
• scientific article; zbMATH DE number 3972168
• scientific article; zbMATH DE number 978245
• Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach

Cited in

(7)

• Algebraic properties of program integration
• scientific article; zbMATH DE number 2134134 (Why is no real title available?)
• A RING-THEORETIC BASIS FOR LOGIC PROGRAMMING
• Algebraic properties of program integration
• Algebraic properties of idempotent substitutions
• scientific article; zbMATH DE number 978245 (Why is no real title available?)
• Logics for extended distributive contact lattices

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