-
1
-
-
84937426338
-
System description: The dependency pair method
-
T. Arts. System description: The dependency pair method. In Proc. 11th RTA, LNCS 1833, pages 261-264, 2000.
-
(2000)
Proc. 11th RTA LNCS
, vol.1833
, pp. 261-264
-
-
Arts, T.1
-
2
-
-
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
-
-
0004096113
-
A collection of examples for termination of term rewriting using dependency pairs
-
RWTH Aachen
-
T. Arts and J. Giesl. A collection of examples for termination of term rewriting using dependency pairs. Technical Report AIB-2001-093, RWTH Aachen, 2001.
-
(2001)
Technical Report AIB-2001-093
-
-
Arts, T.1
Giesl, J.2
-
5
-
-
84937420323
-
Complete monotonic semantic path orderings
-
C. Borralleras, M. Ferreira, and A. Rubio. Complete monotonic semantic path orderings. In Proc. 17th CADE, LNAI 1831, pages 346-364, 2000.
-
(2000)
Proc. 17th CADE, LNAI 1831
, pp. 346-364
-
-
Borralleras, C.1
Ferreira, M.2
Rubio, A.3
-
7
-
-
84910829499
-
Termination of rewriting
-
N. Dershowitz. Termination of rewriting. J. Symbolic Comp., 3:69-116, 1987.
-
(1987)
J. Symbolic Comp
, vol.3
, pp. 69-116
-
-
Dershowitz, N.1
-
9
-
-
0034952407
-
A general framework for automatic termination analysis of logic programs
-
N. Dershowitz, N. Lindenstrauss, Y. Sagiv, and A. Serebrenik. A general framework for automatic termination analysis of logic programs. Applicable Algebra in Engineering, Communication and Computing, 12(1,2):117-156, 2001.
-
(2001)
Applicable Algebra in Engineering, Communication and Computing
, vol.12
, Issue.1-2
, pp. 117-156
-
-
Dershowitz, N.1
Lindenstrauss, N.2
Sagiv, Y.3
Serebrenik, A.4
-
10
-
-
0036992306
-
Cariboo: An induction based proof tool for termination with strategies
-
ACM
-
O. Fissore, I. Gnaedig, and H. Kirchner. Cariboo: An induction based proof tool for termination with strategies. In Proc. 4th PPDP, pages 62-73. ACM, 2002.
-
(2002)
Proc. 4th PPDP
, pp. 62-73
-
-
Fissore, O.1
Gnaedig, I.2
Kirchner, H.3
-
11
-
-
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
-
12
-
-
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
-
13
-
-
9444295503
-
Improving dependency pairs
-
RWTH Aachen, Germany
-
J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke. Improving dependency pairs. Technical Report AIB-2003-043, RWTH Aachen, Germany, 2003.
-
(2003)
Technical Report AIB-2003-043
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
Falke, S.4
-
14
-
-
84957692033
-
On proving termination by innermost termination
-
B. Gramlich. On proving termination by innermost termination. In Proc. 7th RTA, LNCS 1103, pages 97-107, 1996.
-
(1996)
Proc. 7th RTA, LNCS 1103
, pp. 97-107
-
-
Gramlich, B.1
-
17
-
-
0000673198
-
Proofs by induction in equational theories with constructors
-
G. Huet and J.-M. Hullot. Proofs by induction in equational theories with constructors. Journal of Computer and System Sciences, 25:239-299, 1982.
-
(1982)
Journal of Computer and System Sciences
, vol.25
, pp. 239-299
-
-
Huet, G.1
Hullot, J.-M.2
-
18
-
-
84979025426
-
Argument filtering transformation
-
K. Kusakari, M. Nakamura, and Y. Toyama. Argument filtering transformation. In Proc. 1st PPDP, LNCS 1702, pages 48-62, 1999.
-
(1999)
Proc. 1st PPDP, LNCS 1702
, pp. 48-62
-
-
Kusakari, K.1
Nakamura, M.2
Toyama, Y.3
-
19
-
-
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. POPL '01, pages 81-92, 2001.
-
(2001)
Proc. POPL ' 01
, pp. 81-92
-
-
Lee, C.S.1
Jones, N.D.2
Ben-Amram, A.M.3
-
20
-
-
84867766788
-
Approximating dependency graphs using tree automata techniques
-
A. Middeldorp. Approximating dependency graphs using tree automata techniques. In Proc. IJCAR 2001, LNAI 2083, pages 593-610, 2001.
-
(2001)
Proc. IJCAR 2001, LNAI 2083
, pp. 593-610
-
-
Middeldorp, A.1
-
21
-
-
0037202497
-
Hierarchical termination revisited
-
E. Ohlebusch. Hierarchical termination revisited. IPL, 84(4):207-214, 2002.
-
(2002)
IPL
, vol.84
, Issue.4
, pp. 207-214
-
-
Ohlebusch, E.1
-
22
-
-
84937438740
-
TALP: A tool for the termination analysis of logic programs
-
E. Ohlebusch, C. Claves, and C. Marché. TALP: A tool for the termination analysis of logic programs. In Proc. 11th RTA, LNCS 1833, pages 270-273, 2000.
-
(2000)
Proc. 11th RTA, LNCS 1833
, pp. 270-273
-
-
Ohlebusch, E.1
Claves, C.2
Marché, C.3
-
23
-
-
84955560074
-
Automatic termination proofs with transformation orderings
-
Full version appeared as Technical Report SR-92-23, Universität Kaiserslautern, Germany
-
J. Steinbach. Automatic termination proofs with transformation orderings. In Proc. 6th RTA, LNCS 914, pages 11-25, 1995. Full version appeared as Technical Report SR-92-23, Universität Kaiserslautern, Germany.
-
(1995)
Proc. 6th RTA, LNCS 914
, pp. 11-25
-
-
Steinbach, J.1
-
24
-
-
0029369584
-
Simplification orderings: History of results
-
J. Steinbach. Simplification orderings: History of results. Fund. I., 24:47-87, 1995.
-
(1995)
Fund. i
, vol.24
, pp. 47-87
-
-
Steinbach, J.1
-
25
-
-
84947778039
-
Size-change termination for term rewriting
-
R. Thiemann and J. Giesl. Size-change termination for term rewriting. In Proc. 14th RTA, LNCS 2706, pages 264-278, 2003.
-
(2003)
Proc. 14th RTA, LNCS 2706
, pp. 264-278
-
-
Thiemann, R.1
Giesl, J.2
-
26
-
-
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
-
27
-
-
84867764644
-
Automated incremental termination proofs for hierarchically defined term rewriting systems
-
X. Urbain. Automated incremental termination proofs for hierarchically defined term rewriting systems. In Proc. IJCAR 2001, LNAI 2083, pages 485-498, 2001.
-
(2001)
Proc. IJCAR 2001, LNAI 2083
, pp. 485-498
-
-
Urbain, X.1
|