-
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
-
2
-
-
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-09, RWTH Aachen, 2001.
-
(2001)
Technical Report AIB-2001-09
-
-
Arts, T.1
Giesl, J.2
-
4
-
-
0023437488
-
Termination of rewriting systems by polynomial interpretations and its implementation
-
A. Ben Cherifa and P. Lescanne. Termination of rewriting systems by polynomial interpretations and its implementation. Science of Computer Programming, 9:137159, 1987.
-
(1987)
Science of Computer Programming
, vol.9
, pp. 137159
-
-
Ben Cherifa, A.1
Lescanne, P.2
-
6
-
-
22944446031
-
Mechanically proving termination using polynomial interpretations
-
E. Contejean, G. Marché, A.-P. Tomás, and X. Urbain. Mechanically proving termination using polynomial interpretations. Research Report 1382, LRI, 2004.
-
(2004)
Research Report 1382, LRI
-
-
Contejean, E.1
Marché, G.2
Tomás, A.-P.3
Urbain, X.4
-
9
-
-
84955582635
-
Generating polynomial orderings for termination proofs
-
J. Giesl. Generating polynomial orderings for termination proofs. In Proc. 6th RTA, volume 914 of LNCS, pages 426-431, 1995.
-
(1995)
Proc. 6th RTA, Volume 914 of LNCS
, vol.914
, pp. 426-431
-
-
Giesl, J.1
-
10
-
-
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(l):21-58, 2002.
-
(2002)
Journal of Symbolic Computation
, vol.34
, Issue.50
, pp. 21-58
-
-
Giesl, J.1
Arts, T.2
Ohlebusch, E.3
-
11
-
-
35048887144
-
Automated termination proofs with AProVE
-
J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke. Automated termination proofs with AProVE. In Proc. 15th RTA, volume 3091 of LNCS, pages 210-220, 2004.
-
(2004)
Proc. 15th RTA, Volume 3091 of LNCS
, vol.3091
, pp. 210-220
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
Falke, S.4
-
16
-
-
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
-
17
-
-
21144439397
-
Polynomials for proving termination of context-sensitive rewriting
-
S. Lucas. Polynomials for proving termination of context-sensitive rewriting. In Proc. 7th FoSSaCS, volume 2987 of LNCS, pages 318-332, 2004.
-
(2004)
Proc. 7th FoSSaCS, Volume 2987 of LNCS
, vol.2987
, pp. 318-332
-
-
Lucas, S.1
-
20
-
-
0344637479
-
Check your ordering - Termination proofs and open problems
-
Universität Kaiserslautern
-
J. Steinbach and U. Kühler. Check your ordering - termination proofs and open problems. Technical Report SR-90-25, Universität Kaiserslautern, 1990.
-
(1990)
Technical Report SR-90-25
-
-
Steinbach, J.1
Kühler, U.2
-
22
-
-
9444229424
-
Improved modular termination proofs using dependency pairs
-
R. Thiemann, J. Giesl, and P. Schneider-Kamp. Improved modular termination proofs using dependency pairs. In Proc. 2nd IJCAR, volume 3097 of LNAI, pages 75-90, 2004.
-
(2004)
Proc. 2nd IJCAR, Volume 3097 of LNAI
, vol.3097
, pp. 75-90
-
-
Thiemann, R.1
Giesl, J.2
Schneider-Kamp, P.3
-
23
-
-
3042682298
-
Modular & incremental automated termination proofs
-
To appear.
-
X. Urbain. Modular & incremental automated termination proofs. Journal of Automated Reasoning, 2004. To appear.
-
(2004)
Journal of Automated Reasoning
-
-
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
|