-
1
-
-
84974750077
-
Termination orderings for associative- commutative rewriting systems
-
Bachmair, L., and Plaisted, D.A. (1985). Termination orderings for associative- commutative rewriting systems, J. of Symbolic Computation 1, 329-349.
-
(1985)
J. of Symbolic Computation
, vol.1
, pp. 329-349
-
-
Bachmair, L.1
Plaisted, D.A.2
-
3
-
-
85034639398
-
Termination of linear rewriting systems
-
S. Even and O. Kariv, eds., Lect. Notes in Comp. Science 115, New York, Springer
-
Dershowitz, N. (1981). Termination of linear rewriting systems, Proc. 8th EATCS Int. Col-loquium on Automata, Languages and Programming, S. Even and O. Kariv, eds., Lect. Notes in Comp. Science 115, New York, Springer, 448-458.
-
(1981)
Proc. 8Th EATCS Int. Col-Loquium on Automata, Languages and Programming
, pp. 448-458
-
-
Dershowitz, N.1
-
4
-
-
0001138255
-
Orderings for term-rewriting systems
-
Dershowitz, N. (1982). Orderings for term-rewriting systems, Theoretical Computer Science 17, 279-301.
-
(1982)
Theoretical Computer Science
, vol.17
, pp. 279-301
-
-
Dershowitz, N.1
-
5
-
-
0022065057
-
Computing with rewrite systems
-
Dershowitz, N. (1985a). Computing with rewrite systems, Information and Control 64, 122-157.
-
(1985)
Information and Control
, vol.64
, pp. 122-157
-
-
Dershowitz, N.1
-
6
-
-
85035005837
-
-
Science, Springer
-
Dershowitz, N. (1985b). Termination. Proc. 1st Int. Conf. on Rewriting Techniques and Applications, Dijon, France, Lect. Notes in Comp. Science, Springer, 180-224.
-
(1985)
Termination. Proc. 1St Int. Conf. on Rewriting Techniques and Applications, Dijon, France, Lect. Notes in Comp
, pp. 180-224
-
-
Dershowitz, N.1
-
7
-
-
0020952547
-
Associative-commutative rewriting
-
Dershowitz, N., Hsiang, J., Josephson, N.A., and Plaisted, D.A. (1984). Associative-commutative rewriting. Proc. 8th IJCAI, Karlsruhe, 940-944.
-
(1984)
Proc. 8Th IJCAI, Karlsruhe
, pp. 940-944
-
-
Dershowitz, N.1
Hsiang, J.2
Josephson, N.A.3
Plaisted, D.A.4
-
8
-
-
0005022808
-
On proving uniform termination and restricted termination of rewriting systems
-
Guttag, J.V., Kapur, D., and Musser, D.R. (1983). On proving uniform termination and restricted termination of rewriting systems. SIAM Computing 12, 189-214.
-
(1983)
SIAM Computing
, vol.12
, pp. 189-214
-
-
Guttag, J.V.1
Kapur, D.2
Musser, D.R.3
-
9
-
-
0022029327
-
Refutational theorem proving using term-rewriting systems
-
Hsiang, J. (1985). Refutational theorem proving using term-rewriting systems. Artificial Intelligence 25, 255-300.
-
(1985)
Artificial Intelligence
, vol.25
, pp. 255-300
-
-
Hsiang, J.1
-
10
-
-
84976811006
-
Confluent reductions: Abstract properties and applications to term rewriting systems
-
Huet, G. (1980). Confluent reductions: abstract properties and applications to term rewriting systems. J. ACM 27, 797-821.
-
(1980)
J. ACM
, vol.27
, pp. 797-821
-
-
Huet, G.1
-
11
-
-
0000673198
-
Proofs by induction in equational theories with constructors
-
Huet, G. and Hullot, J.M. (1982). Proofs by induction in equational theories with constructors. J. of Comp, and System Sciences 25, 239-266.
-
(1982)
J. of Comp, and System Sciences
, vol.25
, pp. 239-266
-
-
Huet, G.1
Hullot, J.M.2
-
12
-
-
85015764580
-
Termination of a set of rules modulo a set of equations
-
R. Shostak, ed., Lect. Notes in Comp. Science 170, Berlin, Springer
-
Jouannaud, J.-P., and Munoz, M. (1984). Termination of a set of rules modulo a set of equations, Proc. 7th Int. Conf. on Automated Deduction, R. Shostak, ed., Lect. Notes in Comp. Science 170, Berlin, Springer, 175-193.
-
(1984)
Proc. 7Th Int. Conf. on Automated Deduction
, pp. 175-193
-
-
Jouannaud, J.-P.1
Munoz, M.2
-
14
-
-
5844397543
-
-
Rensellaer-ville, New York
-
Kapur, D., and Sivakumar, G. (1984). Architecture of and experiments with RRL, a rewrite rule laboratory. Proc. NSF Workshop on the Rewrite Rule Laboratory, Rensellaer-ville, New York, 33-56.
-
(1984)
Architecture of and Experiments with RRL, a Rewrite Rule Laboratory. Proc. NSF Workshop on the Rewrite Rule Laboratory
, pp. 33-56
-
-
Kapur, D.1
Sivakumar, G.2
-
16
-
-
0001803498
-
On the termination of Markov algorithms. Proc. Third Hawaii
-
Manna, Z., and Ness, S. (1970). On the termination of Markov algorithms. Proc. Third Hawaii Int. Conf. on System Science, 789-792.
-
(1970)
Int. Conf. on System Science
, pp. 789-792
-
-
Manna, Z.1
Ness, S.2
-
20
-
-
84976793256
-
Operational and semantic equivalence between recursive programs
-
Raoult, J.C., and Vuillemin, J. (1980). Operational and semantic equivalence between recursive programs, J. ACM 27, 772-796.
-
(1980)
J. ACM
, vol.27
, pp. 772-796
-
-
Raoult, J.C.1
Vuillemin, J.2
-
21
-
-
84976715839
-
Tree-manipulating systems and Church-Rosser theorems
-
Rosen, B. (1973). Tree-manipulating systems and Church-Rosser theorems, J. ACM 20, 160-187.
-
(1973)
J. ACM
, vol.20
, pp. 160-187
-
-
Rosen, B.1
|