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

条件付き項書換え系の論理性 ~ 山田、俊行

目次

  1. Contents / (0003.jp2)
  2. 1 Introduction / (0005.jp2)
  3. 1.1 Background / (0005.jp2)
  4. 1.2 Objectives / p6 (0007.jp2)
  5. 1.3 Structure of the Thesis / p6 (0007.jp2)
  6. 2 Preliminaries / (0009.jp2)
  7. 2.1 Relations / (0009.jp2)
  8. 2.2 Abstract Rewrite Systems / p10 (0011.jp2)
  9. 2.3 Terms / p15 (0016.jp2)
  10. 2.4 Conditional Equational Logic / p18 (0019.jp2)
  11. 2.5 Conditional Term Rewrite Systems / p22 (0023.jp2)
  12. 3 Soundness and Completeness / (0027.jp2)
  13. 3.1 Characterizing Semantic Equivalence1 / (0027.jp2)
  14. 3.2 Fixpoint Theorem for Relations / p30 (0031.jp2)
  15. 3.3 Soundness and Completeness of CEL / p33 (0034.jp2)
  16. 3.4 Soundness and Completeness of Semi-Equational CTRSs / p35 (0036.jp2)
  17. 4 Logicality of CTRSs / (0041.jp2)
  18. 4.1 Logicality / (0041.jp2)
  19. 4.2 Logicality of Join CTRSs / p42 (0043.jp2)
  20. 4.3 Logicality of Oriented CTRSs / p43 (0044.jp2)
  21. 4.4 Equivalence of Different Types of CTRSs / p52 (0053.jp2)
  22. 4.5 Systematic Analysis of Different Types of Relations / p61 (0062.jp2)
  23. 5 Ensuring Sufficient Conditions for Logicality / (0066.jp2)
  24. 5.1 Termination and Decidability of Rewrite Relations / (0066.jp2)
  25. 5.2 Confluence and Level-Confluence / p69 (0070.jp2)
  26. 5.3 Stability and Strong Irreducibility / p72 (0073.jp2)
  27. 6 Concluding Remarks / (0078.jp2)
  28. 6.1 Research Contributions / (0078.jp2)
  29. 6.2 Remarks on Applications / p78 (0079.jp2)
  30. Bibliography / p83 (0084.jp2)
  31. Index / p88 (0089.jp2)
  32. List of Notations / (0090.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000185631
  • NII著者ID(NRID)
    • 8000000185913
  • DOI(NDL)
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000000349945
  • データ提供元
    • 機関リポジトリ
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ