Term rewriting systems and the Church-Rosser property 項書き換えシステムとチャーチ・ロッサ性

この論文をさがす

著者

    • 外山, 芳人 トヤマ, ヨシヒト

書誌事項

タイトル

Term rewriting systems and the Church-Rosser property

タイトル別名

項書き換えシステムとチャーチ・ロッサ性

著者名

外山, 芳人

著者別名

トヤマ, ヨシヒト

学位授与大学

東北大学

取得学位

工学博士

学位授与番号

乙第5360号

学位授与年月日

1990-09-12

注記・抄録

博士論文

論文

目次

  1. Contents / p3 (0004.jp2)
  2. Abstract / p1 (0003.jp2)
  3. Acknowledgments / p2 (0004.jp2)
  4. 1 Introduction / p1 (0006.jp2)
  5. 1.1 Backgrouds / p1 (0006.jp2)
  6. 1.2 Organization / p4 (0008.jp2)
  7. 1.3 Reduction Systems / p8 (0010.jp2)
  8. 1.4 Term Rewriting Systems / p11 (0011.jp2)
  9. 2 Direct Sum of Term Rewriting Systems / p18 (0015.jp2)
  10. 2.1 Introduction / p18 (0015.jp2)
  11. 2.2 The Church-Rosser Property for the Direct Sum of Term Rewriting Systems / p19 (0015.jp2)
  12. 2.3 Termination for the Direct Sum of Left-Linear Complete Term Rewriting Systems / p45 (0028.jp2)
  13. 2.4 Conclusion / p63 (0037.jp2)
  14. 3 Commutativity of Term Rewriting Systems / p64 (0038.jp2)
  15. 3.1 Introduction / p64 (0038.jp2)
  16. 3.2 Extended Critical Pairs / p65 (0038.jp2)
  17. 3.3 Sufficient Condition for Commutativity / p67 (0039.jp2)
  18. 3.4 Conclusion / p76 (0044.jp2)
  19. 4 How to Prove Equivalence of Term Rewriting Systems without Induction / p77 (0044.jp2)
  20. 4.1 Introduction / p77 (0044.jp2)
  21. 4.2 Equivalence of Abstract Reduction Systems / p80 (0046.jp2)
  22. 4.3 Examples of Equivalent Systems / p84 (0048.jp2)
  23. 4.4 Inductionless Induction / p87 (0049.jp2)
  24. 4.5 Equivalence Transformation Technique / p91 (0051.jp2)
  25. 4.6 Conclusion / p98 (0055.jp2)
  26. 5 Membership Conditional Term Rewriting Systems / p100 (0056.jp2)
  27. 5.1 Introduction / p100 (0056.jp2)
  28. 5.2 Membership-Conditional Rewriting / p103 (0057.jp2)
  29. 5.3 Confluence of Restricted Nonlinear Systems / p106 (0059.jp2)
  30. 5.4 Conclusion / p113 (0062.jp2)
  31. 6 Conclusion / p114 (0063.jp2)
  32. Appendix A / p116 (0064.jp2)
  33. Appendix B / p123 (0067.jp2)
  34. Appendix C / p130 (0071.jp2)
  35. Bibliography / p142 (0077.jp2)
  36. Paper List / p153 (0082.jp2)
2アクセス

各種コード

  • NII論文ID(NAID)
    500000072459
  • NII著者ID(NRID)
    • 8000000072654
  • DOI(NDL)
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 000000236773
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ