E. Contejean, C. Marche, B. Monate, and X. Urbain. Cime version 2, 2000. Available from http://cime.lri.fr. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Mechanizing Dependency Pairs - Giesl, Thiemann, Schneider-Kamp.. (2003) Self-citation (Http) (Correct)
No context found.
E. Contejean, C. Marche, B. Monate, and X. Urbain. Cime version 2, 2000. Available from http://cime.lri.fr.
Improving Dependency Pairs - Giesl, Thiemann, Schneider-Kamp.. (2003) Self-citation (Version Http) (Correct)
No context found.
E. Contejean, C. Marche, B. Monate, and X. Urbain. Cime version 2, 2000. Available from http://cime.lri.fr.
Improving Dependency Pairs - Giesl, Thiemann, Schneider-Kamp.. (2003) Self-citation (Http) (Correct)
....in our termination prover AProVE. We give empirical results which show that they are extremely successful in practice. Details on our experiments can be found in the appendix. Thus, the contributions of this paper are also very helpful for other tools based on dependency pairs (e.g. 1] CiME [6], TTT [14, 15] TALP [24] Moreover, we conjecture that they can also be used in other recent approaches for termination [5, 10] which have several aspects in common with dependency pairs. 2 Dependency Pairs We briefly present the dependency pair approach of Arts and Giesl and refer to [2, 11, ....
E. Contejean, C. Marche, B. Monate, and X. Urbain. Cime version 2, 2000. Available from http://cime.lri.fr.
Improving Dependency Pairs - Giesl, Thiemann, Schneider-Kamp.. (2003) (Correct)
No context found.
E. Contejean, C. Marche, B. Monate, and X. Urbain. Cime version 2, 2000. Available from http://cime.lri.fr.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC