Reasoning about Termination of Pure Prolog Programs
- 1 September 1993
- journal article
- research article
- Published by Elsevier in Information and Computation
- Vol. 106 (1) , 109-157
- https://doi.org/10.1006/inco.1993.1051
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967