-
1
-
-
84937426338
-
System description: The dependency pair method
-
Proceedings of the 11th International Conference on Rewriting Techniques and Applications
-
T. Arts, System description: the dependency pair method, in: Proceedings of the 11th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 1833, 2000, pp. 261-264
-
(2000)
Lecture Notes in Computer Science
, vol.1833
, pp. 261-264
-
-
Arts, T.1
-
2
-
-
0004096113
-
A collection of examples for termination of term rewriting using dependency Pairs
-
RWTH Aachen
-
T. Arts, 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
, vol.AIB-2001-09
-
-
Arts, T.1
Giesl, J.2
-
3
-
-
0001193616
-
Termination of term rewriting using dependency pairs
-
T. Arts, and J. Giesl Termination of term rewriting using dependency pairs Theoretical Computer Science 236 2000 133 178
-
(2000)
Theoretical Computer Science
, vol.236
, pp. 133-178
-
-
Arts, T.1
Giesl, J.2
-
6
-
-
84937420323
-
Complete monotonic semantic path orderings
-
Proceedings of the 17th International Conference on Automated Deduction
-
C. Borralleras, M. Ferreira, A. Rubio, Complete monotonic semantic path orderings, in: Proceedings of the 17th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, vol. 1831, 2000, pp. 346-364
-
(2000)
Lecture Notes in Artificial Intelligence
, vol.1831
, pp. 346-364
-
-
Borralleras, C.1
Ferreira, M.2
Rubio, A.3
-
8
-
-
84948949042
-
33 Examples of termination
-
French Spring School of Theoretical Computer Science
-
N. Dershowitz, 33 Examples of termination, in: French Spring School of Theoretical Computer Science, Lecture Notes in Computer Science, vol. 909, 1995, pp. 16-26
-
(1995)
Lecture Notes in Computer Science
, vol.909
, pp. 16-26
-
-
Dershowitz, N.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 1 2002 21 58
-
(2002)
Journal of Symbolic Computation
, vol.34
, Issue.1
, pp. 21-58
-
-
Giesl, J.1
Arts, T.2
Ohlebusch, E.3
-
11
-
-
3042804926
-
Transformation techniques for context-sensitive rewrite systems
-
J. Giesl, and A. Middeldorp Transformation techniques for context-sensitive rewrite systems Journal of Functional Programming 14 2004 329 427
-
(2004)
Journal of Functional Programming
, vol.14
, pp. 329-427
-
-
Giesl, J.1
Middeldorp, A.2
-
12
-
-
9444259855
-
Improving dependency pairs
-
Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
-
J. Giesl, R. Thiemann, P. Schneider-Kamp, S. Falke, Improving dependency pairs, in: Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notes in Artificial Intelligence, vol. 2850, 2003, pp. 165-179
-
(2003)
Lecture Notes in Artificial Intelligence
, vol.2850
, pp. 165-179
-
-
Giesl, J.1
Thiemann, R.2
Schneider-Kamp, P.3
Falke, S.4
-
13
-
-
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 1995 3 23
-
(1995)
Fundamenta Informaticae
, vol.24
, pp. 3-23
-
-
Gramlich, B.1
-
14
-
-
35048819118
-
Dependency pairs revisited
-
Proceedings of the 16th International Conference on Rewriting Techniques and Applications
-
N. Hirokawa, A. Middeldorp, Dependency pairs revisited, in: Proceedings of the 16th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 3091, 2004, pp. 249-268
-
(2004)
Lecture Notes in Computer Science
, vol.3091
, pp. 249-268
-
-
Hirokawa, N.1
Middeldorp, A.2
-
15
-
-
35048902099
-
Polynomial interpretations with negative coefficients
-
Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation
-
N. Hirokawa, A. Middeldorp, Polynomial interpretations with negative coefficients, in: Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, Lecture Notes in Artificial Intelligence, vol. 3249, 2004, 185-198
-
(2004)
Lecture Notes in Artificial Intelligence
, vol.3249
, pp. 185-198
-
-
Hirokawa, N.1
Middeldorp, A.2
-
16
-
-
84947714965
-
Tsukuba termination tool
-
Proceedings of the 14th International Conference on Rewriting Techniques and Applications
-
N. Hirokawa, A. Middeldorp, Tsukuba termination tool, in: Proceedings of the 14th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 2706, 2003, pp. 311-320
-
(2003)
Lecture Notes in Computer Science
, vol.2706
, pp. 311-320
-
-
Hirokawa, N.1
Middeldorp, A.2
-
18
-
-
0037057838
-
Context-sensitive rewriting strategies
-
S. Lucas Context-sensitive rewriting strategies Information and Computation 178 1 2002 294 343
-
(2002)
Information and Computation
, vol.178
, Issue.1
, pp. 294-343
-
-
Lucas, S.1
-
19
-
-
84867766788
-
Approximating dependency graphs using tree automata techniques
-
Proceedings of the International Joint Conference on Automated Reasoning
-
A. Middeldorp, Approximating dependency graphs using tree automata techniques, in: Proceedings of the International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence, vol. 2083, 2001, pp. 593-610
-
(2001)
Lecture Notes in Artificial Intelligence
, vol.2083
, pp. 593-610
-
-
Middeldorp, A.1
-
20
-
-
18944368842
-
Approximations for strategies and termination
-
Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming
-
A. Middeldorp, Approximations for strategies and termination, in: Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, Electronic Notes in Computer Science, Vol. 70(6), 2002
-
(2002)
Electronic Notes in Computer Science
, vol.70
, Issue.6
-
-
Middeldorp, A.1
-
21
-
-
0037202497
-
Hierarchical termination revisited
-
E. Ohlebusch Hierarchical termination revisited Information Processing Letters 84 4 2002 207 214
-
(2002)
Information Processing Letters
, vol.84
, Issue.4
, pp. 207-214
-
-
Ohlebusch, E.1
-
22
-
-
84955560074
-
Automatic termination proofs with transformation orderings
-
Proceedings of the 6th International Conference on Rewriting Techniques and Applications
-
J. Steinbach, Automatic termination proofs with transformation orderings, in: Proceedings of the 6th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 914, 1995, pp. 11-25
-
(1995)
Lecture Notes in Computer Science
, vol.914
, pp. 11-25
-
-
Steinbach, J.1
-
23
-
-
0344637479
-
Check your ordering-termination proofs and open problems
-
Universität Kaiserslautern
-
J. Steinbach, U. Kühler, Check Your Ordering-Termination Proofs and Open Problems, Technical Report SR-90-25, Universität Kaiserslautern, 1990
-
(1990)
Technical Report
, vol.SR-90-25
-
-
Steinbach, J.1
Kühler, U.2
-
24
-
-
9444229424
-
Improved modular termination proofs using dependency pairs
-
Proceedings of the 2nd International Joint Conference on Automated Reasoning
-
R. Thiemann, J. Giesl, P. Schneider-Kamp, Improved modular termination proofs using dependency pairs, in: Proceedings of the 2nd International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence, vol. 3097, 2004, pp. 75-90
-
(2004)
Lecture Notes in Artificial Intelligence
, vol.3097
, pp. 75-90
-
-
Thiemann, R.1
Giesl, J.2
Schneider-Kamp, P.3
-
25
-
-
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 1987 141 143
-
(1987)
Information Processing Letters
, vol.25
, pp. 141-143
-
-
Toyama, Y.1
-
26
-
-
3042682298
-
Modular and incremental automated termination proofs
-
to appear
-
X. Urbain, Modular and incremental automated termination proofs, Journal of Automated Reasoning (2005) (to appear)
-
(2005)
Journal of Automated Reasoning
-
-
Urbain, X.1
|