On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Semantics of Input-Consuming Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Termination of well-typed logic programs
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
On logic programs that always succeed
Science of Computer Programming
Classes of terminating logic programs
Theory and Practice of Logic Programming
Properties of Input-Consuming Derivations
Theory and Practice of Logic Programming
Termination of simply moded logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Input-termination of logic programs
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Semantics of well-moded input-consuming logic programs
Computer Languages
Hi-index | 0.00 |