-
1
-
-
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, vol. 9 (1987), pp. 137-160.
-
(1987)
Science of Computer Programming
, vol.9
, pp. 137-160
-
-
Ben Cherifa, A.1
Lescanne, P.2
-
3
-
-
77949586592
-
Polynomial interpretations and the complexity of algorithms
-
Proceedings of the 11th International Conference on Computer Aided Deduction, Springer-Verlag
-
E. A. CICHON and P. LESCANNE, Polynomial interpretations and the complexity of algorithms. Proceedings of the 11th international conference on computer aided deduction, Lecture Notes in Computer Science, no. 607, Springer-Verlag, 1992.
-
(1992)
Lecture Notes in Computer Science
, Issue.607
-
-
Cichon, E.A.1
Lescanne, P.2
-
4
-
-
85032507036
-
Simulation of turing machines by a left linear rewrite rule
-
Proceedings of the 3rd International Conference on Term Rewriting Systems, Springer-Verlag
-
M. DAUCHET, Simulation of Turing machines by a left linear rewrite rule, Proceedings of the 3rd international conference on term rewriting systems, Lecture Notes in Computer Science, no. 355, Springer-Verlag, 1989, pp. 109-120.
-
(1989)
Lecture Notes in Computer Science
, vol.355
, pp. 109-120
-
-
Dauchet, M.1
-
5
-
-
0001138255
-
Orderings for term-rewriting systems
-
N. DERSHOWITZ, Orderings for term-rewriting systems, Theoretical Computer Science, vol. 17 (1982), pp. 279-301.
-
(1982)
Theoretical Computer Science
, vol.17
, pp. 279-301
-
-
Dershowitz, N.1
-
6
-
-
84910829499
-
Termination of rewriting
-
_, Termination of rewriting, Journal of Symbolic Computation, vol. 3 (1987), pp. 69-116.
-
(1987)
Journal of Symbolic Computation
, vol.3
, pp. 69-116
-
-
-
7
-
-
0018504528
-
Proving termination with multiset orderings
-
N. DERSHOWITZ and Z. MANNA, Proving termination with multiset orderings, Comm ACM, vol. 22 (1979), pp. 465-476.
-
(1979)
Comm ACM
, vol.22
, pp. 465-476
-
-
Dershowitz, N.1
Manna, Z.2
-
9
-
-
0025568564
-
Automating the Knuth Bendix ordering
-
A. J. J. DICK, J. R. KALMUS, and U. MARTIN, Automating the Knuth Bendix ordering, Acta Informatica, vol. 28 (1990), pp. 95-119.
-
(1990)
Acta Informatica
, vol.28
, pp. 95-119
-
-
Dick, A.J.J.1
Kalmus, J.R.2
Martin, U.3
-
10
-
-
0001589139
-
Total termination of term rewriting
-
M. C. F. FERREIRA and H. ZANTEMA, Total termination of term rewriting, Applicable Algebra in Engineering, Communication and Computing, vol. 7 (1996), pp. 133-162.
-
(1996)
Applicable Algebra in Engineering, Communication and Computing
, vol.7
, pp. 133-162
-
-
Ferreira, M.C.F.1
Zantema, H.2
-
13
-
-
84974745030
-
Termination proofs and the lengths of derivations (preliminary version)
-
Proceedings of the 3rd International Conference on Term Rewriting Systems, Springer-Verlag
-
D. HOFBAUER and C. LAUTEMANN, Termination proofs and the lengths of derivations (preliminary version), Proceedings of the 3rd international conference on term rewriting systems, Lecture Notes in Computer Science, vol. 355, Springer-Verlag, 1989, pp. 167-77.
-
(1989)
Lecture Notes in Computer Science
, vol.355
, pp. 167-177
-
-
Hofbauer, D.1
Lautemann, C.2
-
14
-
-
0021001286
-
Recursive decomposition ordering
-
D. Bjorner, editor, Elsevier
-
J.-P. JOUANNAUD, P. LESCANNE, and F. REINIG, Recursive decomposition ordering, Formal description of programming concepts (D. Bjorner, editor), vol. 2, Elsevier, 1982, pp. 331-348.
-
(1982)
Formal Description of Programming Concepts
, vol.2
, pp. 331-348
-
-
Jouannaud, J.-P.1
Lescanne, P.2
Reinig, F.3
-
15
-
-
0004207342
-
-
Department of Computer Science, University of Illinois, Urbana, IL
-
S. KAMIN and J.-J. LEVY, Two generalisations of the recursive path ordering, Department of Computer Science, University of Illinois, Urbana, IL, 1980.
-
(1980)
Two Generalisations of the Recursive Path Ordering
-
-
Kamin, S.1
Levy, J.-J.2
-
16
-
-
25444439752
-
Simple word problems in universal algebras
-
(J. Leech, Editor), Pergamon Press
-
D. KNUTH and P. BENDIX, Simple word problems in universal algebras, Computational problems in abstract algebra (J. Leech, editor), Pergamon Press, 1970.
-
Computational Problems in Abstract Algebra
, pp. 1970
-
-
Knuth, D.1
Bendix, P.2
-
20
-
-
3042952184
-
Termination of rewrite systems by elementary interpretations
-
Proceedings of the 3rd International Conference on Algebraic and Logic Programming, Springer-Verlag
-
_, Termination of rewrite systems by elementary interpretations, Proceedings of the 3rd international conference on algebraic and logic programming, Lecture Notes in Computer Science, vol. 463, Springer-Verlag, 1992, pp. 21-36.
-
(1992)
Lecture Notes in Computer Science
, vol.463
, pp. 21-36
-
-
-
22
-
-
0024962421
-
A geometrical approach to multiset orderings
-
U. MARTIN, A geometrical approach to multiset orderings, Theoretical Computer Science, vol. 67 (1989), pp. 37-54.
-
(1989)
Theoretical Computer Science
, vol.67
, pp. 37-54
-
-
Martin, U.1
-
23
-
-
84974755209
-
On the diversity of orderings on strings
-
_, On the diversity of orderings on strings, Fundamenta lnformaticae, vol. 24 (1995), pp. 25-46.
-
(1995)
Fundamenta Lnformaticae
, vol.24
, pp. 25-46
-
-
-
25
-
-
84947437390
-
Any ground associative-commutative theory has a finite canonical system
-
Proceedings of the 4th International Conference on Term Rewriting Systems
-
P. NARENDRAN and M. RUSINOWITCH, Any ground associative-commutative theory has a finite canonical system, Proceedings of the 4th international conference on term rewriting systems, Springer Lecture Notes in Computer Science, vol. 488, pp. 423-434.
-
Springer Lecture Notes in Computer Science
, vol.488
, pp. 423-434
-
-
Narendran, P.1
Rusinowitch, M.2
-
30
-
-
0001845757
-
Termination of term rewriting by interpretation: Interpretation and type elimination
-
H. ZANTEMA, Termination of term rewriting by interpretation: Interpretation and type elimination, Journal of Symbolic Computation, vol. 17 (1994), pp. 23-50.
-
(1994)
Journal of Symbolic Computation
, vol.17
, pp. 23-50
-
-
Zantema, H.1
|