Domain theory for nonmonotonic functions

DOI10.1007/3-540-53162-9_36zbMath1493.68078OpenAlexW1577211760MaRDI QIDQ5096193

Robert Müller, Yuli Zhou

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_36

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Domain theory for nonmonotonic functions