Logicality of conditional term rewrite systems 条件付き項書換え系の理論性
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Logicality of conditional term rewrite systems
- タイトル別名
-
条件付き項書換え系の理論性
- 著者名
-
山田, 俊行
- 著者別名
-
ヤマダ, トシユキ
- 学位授与大学
-
筑波大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
甲第2125号
- 学位授与年月日
-
1999-03-25
注記・抄録
博士論文
Thesis (Ph. D. in Engineering)--University of Tsukuba, (A), no. 2125, 1999.3.25
条件付き項書換え系の論理性 ~ 山田、俊行
目次
- Contents / (0003.jp2)
- 1 Introduction / (0005.jp2)
- 1.1 Background / (0005.jp2)
- 1.2 Objectives / p6 (0007.jp2)
- 1.3 Structure of the Thesis / p6 (0007.jp2)
- 2 Preliminaries / (0009.jp2)
- 2.1 Relations / (0009.jp2)
- 2.2 Abstract Rewrite Systems / p10 (0011.jp2)
- 2.3 Terms / p15 (0016.jp2)
- 2.4 Conditional Equational Logic / p18 (0019.jp2)
- 2.5 Conditional Term Rewrite Systems / p22 (0023.jp2)
- 3 Soundness and Completeness / (0027.jp2)
- 3.1 Characterizing Semantic Equivalence1 / (0027.jp2)
- 3.2 Fixpoint Theorem for Relations / p30 (0031.jp2)
- 3.3 Soundness and Completeness of CEL / p33 (0034.jp2)
- 3.4 Soundness and Completeness of Semi-Equational CTRSs / p35 (0036.jp2)
- 4 Logicality of CTRSs / (0041.jp2)
- 4.1 Logicality / (0041.jp2)
- 4.2 Logicality of Join CTRSs / p42 (0043.jp2)
- 4.3 Logicality of Oriented CTRSs / p43 (0044.jp2)
- 4.4 Equivalence of Different Types of CTRSs / p52 (0053.jp2)
- 4.5 Systematic Analysis of Different Types of Relations / p61 (0062.jp2)
- 5 Ensuring Sufficient Conditions for Logicality / (0066.jp2)
- 5.1 Termination and Decidability of Rewrite Relations / (0066.jp2)
- 5.2 Confluence and Level-Confluence / p69 (0070.jp2)
- 5.3 Stability and Strong Irreducibility / p72 (0073.jp2)
- 6 Concluding Remarks / (0078.jp2)
- 6.1 Research Contributions / (0078.jp2)
- 6.2 Remarks on Applications / p78 (0079.jp2)
- Bibliography / p83 (0084.jp2)
- Index / p88 (0089.jp2)
- List of Notations / (0090.jp2)