A fixpoint semantics of Horn sentences based on substitution sets
- 31 December 1987
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 51 (3) , 309-324
- https://doi.org/10.1016/0304-3975(87)90039-9
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A new combination of input and unit deductions for Horn sentencesInformation Processing Letters, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Another Generalization of ResolutionJournal of the ACM, 1978
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Unit Refutations and Horn SetsJournal of the ACM, 1974
- Resolution With MergingJournal of the ACM, 1968