메뉴 건너뛰기




Volumn 230 LNCS, Issue , 1986, Pages 5-20

Commutation, transformation, and termination

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84976681515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-16780-3_76     Document Type: Conference Paper
Times cited : (73)

References (21)
  • 1
    • 84974750077 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 8
    • 0005022808 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 16
    • 0001803498 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.