On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Proving Termination of Constraint Solver Programs
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Classes of terminating logic programs
Theory and Practice of Logic Programming
Termination of simply moded logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Inference of termination conditions for numerical loops in Prolog
Theory and Practice of Logic Programming
Termination of Floating-Point Computations
Journal of Automated Reasoning
Hi-index | 0.00 |