scientific article; zbMATH DE number 970714

zbMath0868.68018MaRDI QIDQ5688899

Maria Chiara Meo, Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi

Publication date: 19 March 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

compositional operational semanticsopen logic programs

Mathematics Subject Classification ID

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

Related Items (6)

Algebraic methods in the compositional analysis of logic programs ⋮ A unifying view for logic programming with non-monotonic reasoning ⋮ Institutions for logic programming ⋮ An assumption-based truth maintenance system dealing with non-ground justifications ⋮ Compositional model-theoretic semantics for logic programs ⋮ A compositional semantics for logic programs

This page was built for publication: