Graph transformations using relational calculus 関係計算を用いたグラフ変換

この論文をさがす

著者

    • 溝口, 佳寛 ミゾグチ, ヨシヒロ

書誌事項

タイトル

Graph transformations using relational calculus

タイトル別名

関係計算を用いたグラフ変換

著者名

溝口, 佳寛

著者別名

ミゾグチ, ヨシヒロ

学位授与大学

九州大学

取得学位

理学博士

学位授与番号

乙第5252号

学位授与年月日

1992-09-30

注記・抄録

博士論文

目次

  1. Contents / p5 (0007.jp2)
  2. 1 Introduction / p1 (0009.jp2)
  3. 2 Relational calculus / p9 (0017.jp2)
  4. 2.1 Basic notations / p9 (0017.jp2)
  5. 2.2 Category of partial functions / p11 (0019.jp2)
  6. 2.3 Relational calculus in toposes / p15 (0023.jp2)
  7. 3 Graph structure over Pfn / p23 (0031.jp2)
  8. 3.1 Graphs over Pfn / p23 (0031.jp2)
  9. 3.2 Observations / p27 (0035.jp2)
  10. 4 Relational graph rewritings / p31 (0039.jp2)
  11. 4.1 Rewritings for simple graphs / p31 (0039.jp2)
  12. 4.2 Observations / p38 (0046.jp2)
  13. 4.3 Examples of graph rewritings / p41 (0049.jp2)
  14. 4.4 Rewritings for graphs with labeled edges / p43 (0051.jp2)
  15. 5 Graph rewriting system using graph terms / p46 (0054.jp2)
  16. 5.1 Symbolic graphs and graph terms / p47 (0055.jp2)
  17. 5.2 Graph terms and tree automata / p52 (0060.jp2)
  18. 5.3 Graph rewriting system / p60 (0068.jp2)
  19. 5.4 Examples of graph reduction systems / p63 (0071.jp2)
  20. 5.5 Calculation of regular expressions / p70 (0078.jp2)
  21. 5.6 Examples of executions / p74 (0082.jp2)
  22. 6 Transformations of relational structures / p79 (0087.jp2)
  23. 6.1 Relational structures / p79 (0087.jp2)
  24. 6.2 Partial morphisms of relational structures / p84 (0092.jp2)
  25. 6.3 A comparison theorem / p90 (0098.jp2)
  26. 7 Conclusion / p93 (0101.jp2)
  27. Bibliography / p95 (0103.jp2)
1アクセス

各種コード

  • NII論文ID(NAID)
    500000091024
  • NII著者ID(NRID)
    • 8000000091246
  • DOI(NDL)
  • NDL書誌ID
    • 000000255338
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ