On Greatest Fixpoint Semantics of Logic Programming

DOI10.1093/LOGCOM/12.2.321zbMath1012.68039OpenAlexW2084816568MaRDI QIDQ4542241

M. Jaume

Publication date: 1 August 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/533cb39e240254c8ae933afe3c9f2d91c22614a5

zbMATH Keywords

fixpoint semanticsSLD-derivationsco-inductive definitions

Mathematics Subject Classification ID

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

Related Items (1)

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

This page was built for publication: On Greatest Fixpoint Semantics of Logic Programming