메뉴 건너뛰기




Volumn 62, Issue 2, 1997, Pages 624-635

The order types of termination orderings on monadic terms, strings and multisets

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0031481896     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275551     Document Type: Article
Times cited : (8)

References (30)
  • 1
    • 0023437488 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 13
    • 84974745030 scopus 로고
    • 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
  • 16
    • 25444439752 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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


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