On Greatest Fixpoint Semantics of Logic Programming

DOI10.1093/LOGCOM/12.2.321MaRDI QIDQ4542241zbMATH OpenOpenAlexFDO

Authors 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

co-inductive definitionsfixpoint semanticsSLD-derivations

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1670488
• Publication:4727395
• scientific article; zbMATH DE number 3888910
• Toward a declarative semantics for infinite objects in logic programming
• Fixpoint semantics for logic programming a survey

Cited in

(7)

• Fixpoint semantics for logic programming a survey
• scientific article; zbMATH DE number 1670488 (Why is no real title available?)
• Coalgebraic semantics for parallel derivation strategies in logic programming
• scientific article; zbMATH DE number 1824109 (Why is no real title available?)
• An effective fixpoint semantics for linear logic programs
• scientific article; zbMATH DE number 4001441 (Why is no real title available?)
• Transfinite semantics in the form of greatest fixpoint

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4542241)