scientific article; zbMATH DE number 549972

From MaRDI portal

Publication:4287491

Jump to:navigation, search

zbMath0797.68104MaRDI QIDQ4287491

Roland N. Bol

Publication date: 19 October 1994

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

zbMATH Keywords

completeness logic programs negation soundness loop checking perfect model semantics positive programs

Mathematics Subject Classification ID

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

Related Items (2)

Generalizing completeness results for loop checks in logic programming ⋮ A general criterion for avoiding infinite unfolding during partial deduction

This page was built for publication:

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