The size-change principle for program termination
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Termination of Nested and Mutually Recursive Algorithms
Journal of Automated Reasoning
Program Termination Analysis by Size-Change Graphs (Abstract)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Automating the dependency pair method
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Automating the dependency pair method
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Reducing right-hand sides for termination
Processes, Terms and Cycles
Hi-index | 0.00 |