scientific article

From MaRDI portal

Publication:3975936

Jump to:navigation, search

zbMath0776.68030MaRDI QIDQ3975936

Kanchana Kanchanasut, Phan Minh Dung

Publication date: 26 June 1992

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

zbMATH Keywords

fixed point theory declarative semantics logic programs with negation predicate completion quasi- interpretation

Mathematics Subject Classification ID

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

Related Items (4)

On the strong completion of logic programs ⋮ The alternating fixpoint of logic programs with negation ⋮ On the relations between stable and well-founded semantics of logic programs ⋮ Properties of General Semantic Operators Determined by Logic-Based Systems

This page was built for publication:

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