scientific article

From MaRDI portal

Revision as of 02:59, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4035697

Jump to:navigation, search

zbMath0776.68079MaRDI QIDQ4035697

François Denis, Jean-Paul Delahaye

Publication date: 18 May 1993

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

zbMATH Keywords

semantics of logic programs unfolding semantics

Mathematics Subject Classification ID

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

Related Items (6)

Transforming constraint logic programs ⋮ S-semantics for logic programming: a retrospective look ⋮ Abstract interpretation of resolution-based semantics ⋮ The reduced relative power operation on abstract domains ⋮ A compositional semantics for logic programs ⋮ Is there an axiomatic semantics for standard pure Prolog?

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4035697&oldid=17754804"