Fixpoint semantics for logic programming -- a survey (2000)

by Melvin Fitting
Citations:105 - 0 self

Document Versions

Fixpoint semantics for logic programming -- a survey –Melvin Fitting — 2000
Fixpoint Semantics for Logic Programming - A Survey –Melvin Fitting — 1999 — Theoretical Computer Science