System Presentation -- CARIBOO: An induction based proof tool for termination with strategies
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Induction for positive almost sure termination
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Termination of rewriting under strategies
ACM Transactions on Computational Logic (TOCL)
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Orderings for innermost termination
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
| Hi-index | 5.23 |