-
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
-
3
-
-
84910829499
-
Termination of rewriting
-
N. Dershowitz. Termination of rewriting. J. Symb. Computation, 3:69-116, 1987.
-
(1987)
J. Symb. Computation
, vol.3
, pp. 69-116
-
-
Dershowitz, N.1
-
4
-
-
35048895939
-
Termination by abstraction
-
LNCS 3132
-
N. Dershowitz, Termination by abstraction. In Proc. ICLP '04, LNCS 3132, pages 1-18, 2004.
-
(2004)
Proc. ICLP '04
, pp. 1-18
-
-
Dershowitz, N.1
-
5
-
-
35248874351
-
Match-bounded string rewriting systems
-
LNCS 2747
-
A. Geser, D. Hofbauer, and J. Waldmann. Match-bounded string rewriting systems. In Proc. MFCS '03, LNCS 2747, pages 449-459, 2003.
-
(2003)
Proc. MFCS '03
, pp. 449-459
-
-
Geser, A.1
Hofbauer, D.2
Waldmann, J.3
-
6
-
-
0034952405
-
Verification of Erlang processes by dependency pairs
-
J. Giesl and T. Arts. Verification of Erlang processes by dependency pairs. Appl. Algebra in Engineering, Communication and Computing, 12(1,2):39-72, 2001.
-
(2001)
Appl. Algebra in Engineering, Communication and Computing
, vol.12
, Issue.1-2
, pp. 39-72
-
-
Giesl, J.1
Arts, T.2
-
7
-
-
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
-
8
-
-
9444259855
-
Improving dependency pairs
-
LNAI 2850
-
J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke. Improving dependency pairs. In Proc. LPAR '03, LNAI 2850, pages 165-179, 2003.
-
(2003)
Proc. LPAR '03
, pp. 165-179
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
Falke, S.4
-
9
-
-
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. RTA '04, LNCS 3091, pages 210-220, 2004.
-
(2004)
Proc. RTA '04
, pp. 210-220
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
Falke, S.4
-
10
-
-
0029368735
-
Abstract relations between restricted termination and confluence properties of rewrite systems
-
B. Gramlich. Abstract relations between restricted termination and confluence properties of rewrite systems. Fundamenta Informaticae, 24:3-23, 1995.
-
(1995)
Fundamenta Informaticae
, vol.24
, pp. 3-23
-
-
Gramlich, B.1
-
11
-
-
7044245493
-
Automating the dependency pair method
-
LNAI 2741. Full version to appear in Information and Computation
-
N. Hirokawa and A. Middeldorp. Automating the dependency pair method. In Proc. CADE '03, LNAI 2741, pages 32-46, 2003. Full version to appear in Information and Computation.
-
(2003)
Proc. CADE '03
, pp. 32-46
-
-
Hirokawa, N.1
Middeldorp, A.2
-
12
-
-
35048819118
-
Dependency pairs revisited. in
-
LNCS 3091
-
N. Hirokawa and A. Middeldorp. Dependency pairs revisited. In Proc. RTA '04, LNCS 3091, pages 249-268, 2004.
-
(2004)
Proc. RTA '04
, pp. 249-268
-
-
Hirokawa, N.1
Middeldorp, A.2
-
13
-
-
35048902099
-
Polynomial interpretations with negative coefficients
-
LNAI 3249
-
N. Hirokawa and A. Middeldorp. Polynomial interpretations with negative coefficients. In Proc. AISC '04, LNAI 3249, pages 185-198, 2004.
-
(2004)
Proc. AISC '04
, pp. 185-198
-
-
Hirokawa, N.1
Middeldorp, A.2
-
17
-
-
0003916809
-
On proving term rewriting systems are Noetherian
-
Louisiana Technical University, Ruston, LA, USA
-
D. Lankford. On proving term rewriting systems are Noetherian. Technical Report MTP-3, Louisiana Technical University, Ruston, LA, USA, 1979.
-
(1979)
Technical Report MTP-3
-
-
Lankford, D.1
-
18
-
-
33645799242
-
A simple proof to a result of Bernhard Gramlich
-
Tsukuba
-
Aart Middeldorp. A simple proof to a result of Bernhard Gramlich. Presented at the 5th Japanese Term Rewriting Meeting, Tsukuba, 1994. Available from http://informatik.uibk.ac.at/users/ami/research/papers/bg.pdf.
-
(1994)
5th Japanese Term Rewriting Meeting
-
-
-
19
-
-
0029369584
-
Simplification orderings: History of results
-
J. Steinbach. Simplification orderings: History of results. Fundamenta, Informaticae, 24:47-87, 1995.
-
(1995)
Fundamenta, Informaticae
, vol.24
, pp. 47-87
-
-
Steinbach, J.1
-
21
-
-
9444229424
-
Improved modulai- Termination proofs using dependency pairs
-
LNAI 3097
-
R. Thiemann, J. Giesl, and P. Schneider-Kamp. Improved modulai- termination proofs using dependency pairs. In Proc. IJCAR '04, LNAI 3097, pages 75-90, 2004.
-
(2004)
Proc. IJCAR '04
, pp. 75-90
-
-
Thiemann, R.1
Giesl, J.2
Schneider-Kamp, P.3
-
22
-
-
0023345304
-
Counterexamples to the termination for the direct sum of term rewriting systems
-
Y. Toyama. Counterexamples to the termination for the direct sum of term rewriting systems. Information Processing Letters, 25:141-143, 1987.
-
(1987)
Information Processing Letters
, vol.25
, pp. 141-143
-
-
Toyama, Y.1
-
23
-
-
3042682298
-
Modular and incremental automated termination proofs
-
X. Urbain. Modular and incremental automated termination proofs. Journal of Automated Reasoning, 32(4): 315-355, 2004.
-
(2004)
Journal of Automated Reasoning
, vol.32
, Issue.4
, pp. 315-355
-
-
Urbain, X.1
-
24
-
-
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
|