Norms on terms and their use in proving universal termination of a logic program
Open Access
- 28 February 1994
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 124 (2) , 297-328
- https://doi.org/10.1016/0304-3975(92)00019-n
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Inductive assertion method for logic programsTheoretical Computer Science, 1988
- Efficient tests for top-down termination of logical rulesJournal of the ACM, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987