Optimal fixedpoints of logic programs
- 31 December 1985
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 39, 15-25
- https://doi.org/10.1016/0304-3975(85)90128-8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Closures and fairness in the semantics of programming logicTheoretical Computer Science, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The optimal approach to recursive programsCommunications of the ACM, 1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- The Theoretical Aspects of the Optimal FixedpointSIAM Journal on Computing, 1976
- Introduction to a General Theory of Elementary PropositionsAmerican Journal of Mathematics, 1921