A Semantic Basis for Termination Analysis of Logic Programs and its Realization using Symbolic Norm Constraints

Michael Codish and Cohavit Taboch   

Proceedings of the Sixth International Conference on Algebraic and Logic Programming; 1997


Available:    bibtex entry

Related sites:   The journal version

Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel

© copyright notice