-
1
-
-
84941154230
-
-
The termination competition. http://www.lri.fr/~maurche/termination- competition.
-
-
-
-
3
-
-
0023437488
-
Termination of rewriting systems by polynomial interpretations and its implementation
-
A. B. Cherifa and P. Lescanne. Termination of rewriting systems by polynomial interpretations and its implementation. Sci. Comput. Program., 9(2):137-159, 1987.
-
(1987)
Sci. Comput. Program.
, vol.9
, Issue.2
, pp. 137-159
-
-
Cherifa, A.B.1
Lescanne, P.2
-
4
-
-
84969361200
-
Strong normalization of substitutions
-
Ivan M. Havel and Václav Koubek, editors, MFCS, Springer
-
P.-L. Curien, T. Hardin, and A. Ríos. Strong normalization of substitutions. In Ivan M. Havel and Václav Koubek, editors, MFCS, volume 629 of Lecture Notes in Computer Science, pages 209-217. Springer, 1992.
-
(1992)
Lecture Notes in Computer Science
, vol.629
, pp. 209-217
-
-
Curien, P.-L.1
Hardin, T.2
Ríos, A.3
-
5
-
-
0001138255
-
Orderings for term-rewriting systems
-
N. Dershowitz. Orderings for term-rewriting systems. Theor. Comput. Sci., 17:279-301, 1982.
-
(1982)
Theor. Comput. Sci.
, vol.17
, pp. 279-301
-
-
Dershowitz, N.1
-
6
-
-
35048887144
-
Automated termination proofs with AProVE
-
Vincent van Oostrom, editor, RTA, Springer
-
J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke. Automated termination proofs with AProVE. In Vincent van Oostrom, editor, RTA, volume 3091 of Lecture Notes in Computer Science, pages 210-220. Springer, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.3091
, pp. 210-220
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
Falke, S.4
-
7
-
-
0022913962
-
Proof of termination of the rewriting system SUBST on CCL
-
T. Hardin and A. Laville. Proof of termination of the rewriting system SUBST on CCL. Theor. Comput. Sci., 46(2-3):305-312, 1986.
-
(1986)
Theor. Comput. Sci.
, vol.46
, Issue.2-3
, pp. 305-312
-
-
Hardin, T.1
Laville, A.2
-
9
-
-
0032143325
-
Testing Positiveness of Polynomials
-
H. Hong and D. Jakus. Testing Positiveness of Polynomials. J. Autom. Reasoning, 21(1): 23-38, 1998
-
(1998)
J. Autom. Reasoning
, vol.21
, Issue.1
, pp. 23-38
-
-
Hong, H.1
Jakus, D.2
-
11
-
-
33749595328
-
Recursive path ordering for infinite labelled rewrite systems
-
Eindhoven Univ. of Tech., April
-
A. Koprowski and H. Zantema. Recursive Path Ordering for Infinite Labelled Rewrite Systems. Technical Report CS-Report 06-17, Eindhoven Univ. of Tech., April 2006.
-
(2006)
Technical Report CS-report
, vol.17
-
-
Koprowski, A.1
Zantema, H.2
-
12
-
-
0002204834
-
Termination of term rewriting by semantic labelling
-
H. Zantema. Termination of term rewriting by semantic labelling. Fundamenta Informaticae, 24(1/2):89-105, 1995.
-
(1995)
Fundamenta Informaticae
, vol.24
, Issue.1-2
, pp. 89-105
-
-
Zantema, H.1
-
13
-
-
18944374600
-
Term Rewriting Systems
-
chapter 6, Cambridge University Press
-
H. Zantema. Term Rewriting Systems. Volume 55 of Cambridge Tracts in TCS, chapter 6, pages 181-259. Cambridge University Press, 2003.
-
(2003)
Cambridge Tracts in TCS
, vol.55
, pp. 181-259
-
-
Zantema, H.1
-
14
-
-
33749619433
-
TORPA: Termination of rewriting proved automatically
-
Vincent van Oostrom, editor, RTA
-
H. Zantema. TORPA: Termination of rewriting proved automatically. In Vincent van Oostrom, editor, RTA, volume 3091 of Lecture Notes in Computer Science, pages 95-104, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.3091
, pp. 95-104
-
-
Zantema, H.1
|