Inference of inequality constraints in logic programs (extended abstracts)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the conversion of indirect to direct recursion
ACM Letters on Programming Languages and Systems (LOPLAS)
A dynamic approach to characterizing termination of general logic programs
ACM Transactions on Computational Logic (TOCL)
Inference of termination conditions for numerical loops in Prolog
Theory and Practice of Logic Programming
Hi-index | 0.00 |