Graph transformations using relational calculus 関係計算を用いたグラフ変換
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Graph transformations using relational calculus
- タイトル別名
-
関係計算を用いたグラフ変換
- 著者名
-
溝口, 佳寛
- 著者別名
-
ミゾグチ, ヨシヒロ
- 学位授与大学
-
九州大学
- 取得学位
-
理学博士
- 学位授与番号
-
乙第5252号
- 学位授与年月日
-
1992-09-30
注記・抄録
博士論文
1 Introduction 2 Relational calculus 3 Graph structure over Pfn 4 Relational graph rewritings 5 Graph rewriting system using graph terms 6 Transformations of relational structures 7 Conclusion
主1-参1
目次
- Contents / p5 (0007.jp2)
- 1 Introduction / p1 (0009.jp2)
- 2 Relational calculus / p9 (0017.jp2)
- 2.1 Basic notations / p9 (0017.jp2)
- 2.2 Category of partial functions / p11 (0019.jp2)
- 2.3 Relational calculus in toposes / p15 (0023.jp2)
- 3 Graph structure over Pfn / p23 (0031.jp2)
- 3.1 Graphs over Pfn / p23 (0031.jp2)
- 3.2 Observations / p27 (0035.jp2)
- 4 Relational graph rewritings / p31 (0039.jp2)
- 4.1 Rewritings for simple graphs / p31 (0039.jp2)
- 4.2 Observations / p38 (0046.jp2)
- 4.3 Examples of graph rewritings / p41 (0049.jp2)
- 4.4 Rewritings for graphs with labeled edges / p43 (0051.jp2)
- 5 Graph rewriting system using graph terms / p46 (0054.jp2)
- 5.1 Symbolic graphs and graph terms / p47 (0055.jp2)
- 5.2 Graph terms and tree automata / p52 (0060.jp2)
- 5.3 Graph rewriting system / p60 (0068.jp2)
- 5.4 Examples of graph reduction systems / p63 (0071.jp2)
- 5.5 Calculation of regular expressions / p70 (0078.jp2)
- 5.6 Examples of executions / p74 (0082.jp2)
- 6 Transformations of relational structures / p79 (0087.jp2)
- 6.1 Relational structures / p79 (0087.jp2)
- 6.2 Partial morphisms of relational structures / p84 (0092.jp2)
- 6.3 A comparison theorem / p90 (0098.jp2)
- 7 Conclusion / p93 (0101.jp2)
- Bibliography / p95 (0103.jp2)