-
1
-
-
0001193616
-
Termination of term rewriting using dependency pairs
-
T. Arts and J. Giesl. Termination of term rewriting using dependency pairs. Theoretical Computer Science, 236:133-178, 2000.
-
(2000)
Theoretical Computer Science
, vol.236
, pp. 133-178
-
-
Arts, T.1
Giesl, J.2
-
4
-
-
10644223705
-
Match-bounded string rewriting systems
-
A. Geser, D. Hofbauer, and J. Waldmann. Match-bounded string rewriting systems. Applicable Algebra in Eng., Comm. and Computing, 15(3,4):149-171, 2004.
-
(2004)
Applicable Algebra in Eng., Comm. and Computing
, vol.15
, Issue.3-4
, pp. 149-171
-
-
Geser, A.1
Hofbauer, D.2
Waldmann, J.3
-
5
-
-
0036657874
-
Modular termination proofs for rewriting using dependency pairs
-
J. Giesl, T. Arts, and E. Ohlebusch, Modular termination proofs for rewriting using dependency pairs. Journal of Symbolic Computation, 34(1):21-58, 2002.
-
(2002)
Journal of Symbolic Computation
, vol.34
, Issue.1
, pp. 21-58
-
-
Giesl, J.1
Arts, T.2
Ohlebusch, E.3
-
6
-
-
9444259855
-
Improving dependency pairs
-
LNAI 2850
-
J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke. Improving dependency pairs. In Proc. 10th LPAR, LNAI 2850, pages 165-179, 2003.
-
(2003)
Proc. 10th LPAR
, pp. 165-179
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
Falke, S.4
-
7
-
-
35048887144
-
Automated termination proofs with AProVE
-
LNCS 3091
-
J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke. Automated termination proofs with AProVE. In Proc. 15th RTA, LNCS 3091, pages 210-220, 2004.
-
(2004)
Proc. 15th RTA
, pp. 210-220
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
Falke, S.4
-
8
-
-
26844487849
-
The DP framework: Combining techn. for aut. termination proofs
-
LNAI 3452
-
J. Giesl, R. Thiemann, and P. Schneider-Kamp. The DP framework: Combining techn. for aut. termination proofs. Proc. 11th LPAR, LNAI 3452, p. 301-331, 2005.
-
(2005)
Proc. 11th LPAR
, pp. 301-331
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
-
9
-
-
33646193089
-
Proving and disproving termination of higher-order functions
-
LNAI 3717
-
J. Giesl, R. Thiemann, and P. Schneider-Kamp. Proving and disproving termination of higher-order functions. Proc. 5th FroCoS, LNAI 3717, pp. 216-231, 2005.
-
(2005)
Proc. 5th FroCoS
, pp. 216-231
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
-
10
-
-
35048819118
-
Dependency pairs revisited
-
LNCS 3091
-
N. Hirokawa and A. Middeldorp. Dependency pairs revisited. In Proc. 15th RTA, LNCS 3091, pages 249-268, 2004.
-
(2004)
Proc. 15th RTA
, pp. 249-268
-
-
Hirokawa, N.1
Middeldorp, A.2
-
11
-
-
35048902099
-
Polynomial interpretations with negative coefficients
-
LNAI 3249
-
N. Hirokawa and A. Middeldorp. Polynomial interpretations with negative coefficients. In Proc. 7th AISC, LNAI 3249, pages 185-198, 2004.
-
(2004)
Proc. 7th AISC
, pp. 185-198
-
-
Hirokawa, N.1
Middeldorp, A.2
-
13
-
-
22944445114
-
Tyrolean termination tool
-
LNCS 3467
-
N. Hirokawa and A. Middeldorp. Tyrolean Termination Tool. In Proc. RTA '05, LNCS 3467, pages 175-184, 2005.
-
(2005)
Proc. RTA '05
, pp. 175-184
-
-
Hirokawa, N.1
Middeldorp, A.2
-
14
-
-
33749573718
-
TPA: Termination proved automatically
-
LNCS, To appear
-
A. Koprowski. TPA: Termination proved automatically. In Proc. 17th RTA, LNCS, 2006. To appear.
-
(2006)
Proc. 17th RTA
-
-
Koprowski, A.1
-
15
-
-
0035030203
-
The size-change principle for program termination
-
C. S. Lee, N. D. Jones, and A. M. Ben-Amram. The size-change principle for program termination. In Proc. 28th POPL, pages 81-92, 2001.
-
(2001)
Proc. 28th POPL
, pp. 81-92
-
-
Lee, C.S.1
Jones, N.D.2
Ben-Amram, A.M.3
-
16
-
-
27144548960
-
The size-change principle and dependency pairs for termination of term rewriting
-
R. Thiemann and J. Giesl. The size-change principle and dependency pairs for termination of term rewriting. AAECC, 16(4):229-270, 2005.
-
(2005)
AAECC
, vol.16
, Issue.4
, pp. 229-270
-
-
Thiemann, R.1
Giesl, J.2
-
17
-
-
9444229424
-
Improved modular termination proofs using dependency pairs
-
LNAI 3097
-
R. Thiemann, J. Giesl, and P. Schneider-Kamp. Improved modular termination proofs using dependency pairs. Proc. 2nd IJCAR, LNAI 3097, pp. 75-90, 2004.
-
(2004)
Proc. 2nd IJCAR
, pp. 75-90
-
-
Thiemann, R.1
Giesl, J.2
Schneider-Kamp, P.3
-
18
-
-
84941154882
-
-
Teparla
-
J. v. d. Wulp. Teparla. http://www.win.tue.nl/~hzantema/torpa.html
-
-
-
Wulp, J.V.D.1
-
19
-
-
35048900942
-
Matchbox: A tool for match-bounded string rewriting
-
LNCS 3091
-
J. Waldmann. Matchbox: A tool for match-bounded string rewriting. In Proc. 15th RTA, LNCS 3091, pages 85-94, 2004.
-
(2004)
Proc. 15th RTA
, pp. 85-94
-
-
Waldmann, J.1
-
20
-
-
0002204834
-
Termination of term rewriting by semantic labelling
-
H. Zantema. Termination of term rewriting by semantic labelling. Fundamenta Informaticae, 24:89-105, 1995.
-
(1995)
Fundamenta Informaticae
, vol.24
, pp. 89-105
-
-
Zantema, H.1
|