scientific article
From MaRDI portal
Publication:4036549
zbMath0769.68013MaRDI QIDQ4036549
Maurizio Gabbrielli, Giorgio Levi
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (4)
Algebraic methods in the compositional analysis of logic programs ⋮ Institutions for logic programming ⋮ A compositional semantic basis for the analysis of equational Horn programs ⋮ A compositional semantics for logic programs
This page was built for publication:
