Termination of Nested and Mutually Recursive Algorithms
Journal of Automated Reasoning
Induction Proofs with Partial Functions
Journal of Automated Reasoning
Extensions to the Estimation Calculus
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Termination of String Rewriting Proved Automatically
Journal of Automated Reasoning
Integrating static analysis and general-purpose theorem proving for termination analysis
Proceedings of the 28th international conference on Software engineering
Knuth-Bendix completion of theories of commuting group endomorphisms
Information Processing Letters
Program termination analysis in polynomial time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Elimination Transformations for Associative---Commutative Rewriting Systems
Journal of Automated Reasoning
On tree automata that certify termination of left-linear term rewriting systems
Information and Computation
Type-based termination of generic programs
Science of Computer Programming
Proving and disproving termination of higher-order functions
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Dependency pairs for simply typed term rewriting
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Partial inversion of constructor term rewriting systems
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
On tree automata that certify termination of left-linear term rewriting systems
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Hi-index | 0.00 |