Publication:4035697
From MaRDI portal
zbMath0776.68079MaRDI QIDQ4035697
François Denis, Jean-Paul Delahaye
Publication date: 18 May 1993
Related Items
Is there an axiomatic semantics for standard pure Prolog?, S-semantics for logic programming: a retrospective look, Abstract interpretation of resolution-based semantics, Transforming constraint logic programs, The reduced relative power operation on abstract domains, A compositional semantics for logic programs