Term rewriting systems and the Church-Rosser property 項書き換えシステムとチャーチ・ロッサ性
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Term rewriting systems and the Church-Rosser property
- タイトル別名
-
項書き換えシステムとチャーチ・ロッサ性
- 著者名
-
外山, 芳人
- 著者別名
-
トヤマ, ヨシヒト
- 学位授与大学
-
東北大学
- 取得学位
-
工学博士
- 学位授与番号
-
乙第5360号
- 学位授与年月日
-
1990-09-12
注記・抄録
博士論文
博士学位論文 (Thesis(doctor))
目次
- Contents / p3 (0004.jp2)
- Abstract / p1 (0003.jp2)
- Acknowledgments / p2 (0004.jp2)
- 1 Introduction / p1 (0006.jp2)
- 1.1 Backgrouds / p1 (0006.jp2)
- 1.2 Organization / p4 (0008.jp2)
- 1.3 Reduction Systems / p8 (0010.jp2)
- 1.4 Term Rewriting Systems / p11 (0011.jp2)
- 2 Direct Sum of Term Rewriting Systems / p18 (0015.jp2)
- 2.1 Introduction / p18 (0015.jp2)
- 2.2 The Church-Rosser Property for the Direct Sum of Term Rewriting Systems / p19 (0015.jp2)
- 2.3 Termination for the Direct Sum of Left-Linear Complete Term Rewriting Systems / p45 (0028.jp2)
- 2.4 Conclusion / p63 (0037.jp2)
- 3 Commutativity of Term Rewriting Systems / p64 (0038.jp2)
- 3.1 Introduction / p64 (0038.jp2)
- 3.2 Extended Critical Pairs / p65 (0038.jp2)
- 3.3 Sufficient Condition for Commutativity / p67 (0039.jp2)
- 3.4 Conclusion / p76 (0044.jp2)
- 4 How to Prove Equivalence of Term Rewriting Systems without Induction / p77 (0044.jp2)
- 4.1 Introduction / p77 (0044.jp2)
- 4.2 Equivalence of Abstract Reduction Systems / p80 (0046.jp2)
- 4.3 Examples of Equivalent Systems / p84 (0048.jp2)
- 4.4 Inductionless Induction / p87 (0049.jp2)
- 4.5 Equivalence Transformation Technique / p91 (0051.jp2)
- 4.6 Conclusion / p98 (0055.jp2)
- 5 Membership Conditional Term Rewriting Systems / p100 (0056.jp2)
- 5.1 Introduction / p100 (0056.jp2)
- 5.2 Membership-Conditional Rewriting / p103 (0057.jp2)
- 5.3 Confluence of Restricted Nonlinear Systems / p106 (0059.jp2)
- 5.4 Conclusion / p113 (0062.jp2)
- 6 Conclusion / p114 (0063.jp2)
- Appendix A / p116 (0064.jp2)
- Appendix B / p123 (0067.jp2)
- Appendix C / p130 (0071.jp2)
- Bibliography / p142 (0077.jp2)
- Paper List / p153 (0082.jp2)