scientific article; zbMATH DE number 4174904

zbMATH Open0714.03028MaRDI QIDQ3199402FDOQ3199402

Authors: Anil N. Hirani, V. S. Subrahmanian 

Publication date: 1990

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

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

zbMATH Keywords

program compositionprogram equivalencebounded distributive latticeHerbrand interpretationalgebra of logic programslogic program semantics

Mathematics Subject Classification ID

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

Cited In (5)

• Algebraic properties of program integration
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics for extended distributive contact lattices
• 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 Q3199402)