scientific article

zbMATH Open0714.03028MaRDI QIDQ3199402FDOQ3199402

V. S. Subrahmanian, Anil N. Hirani

Publication date: 1990

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

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 (1)

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