The fixed points of logic programs with Herbrand base \({\mathbb{N}}\)
From MaRDI portal
Publication:2639644
DOI10.1016/0304-3975(90)90173-FzbMath0718.68050MaRDI QIDQ2639644
William F. Dowling, Robert Kline
Publication date: 1990
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Closures and fairness in the semantics of programming logic
- Optimal fixedpoints of logic programs
- The fixed points of logic programs with Herbrand base \({\mathbb{N}}\)
- Contributions to the Theory of Logic Programming
- The Semantics of Predicate Logic as a Programming Language
- The Theoretical Aspects of the Optimal Fixedpoint