![]() |
System Descriptions |
![]() |
AProVE Help System → References → | System Descriptions |
The most recent system descriptions and empirical evaluations of the AProVE system are listed in the following table.
GTSKF '04 |
J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke Automated Termination Proofs with AProVE In Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA-04), Aachen, Germany, Lecture Notes in Computer Science 3091, pages 210-220, 2004. ©Springer-Verlag |
empirical |
Empirical evaluation of AProVE This document contains the detailed results of the experiments presented in the above system description where we compare different termination provers. |