Relational structures and their partial morphisms in view of single pushout rewriting

Yasuo Kawahara, Yoshihiro Mizoguchi

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

10 被引用数 (Scopus)

抄録

In this paper we present a basic notion of relational structures which includes simple graphs, labelled graphs and hypergraphs, and introduce a notion of partial morphisms between them. An existence theorem of pushouts in the category of relational structures and their partial morphisms is proved under a certian functorial condition, and it enables us to discuss single pushout rewritings of relational structures.

本文言語英語
ホスト出版物のタイトルGraph Transformations in Computer Science - International Workshop, Proceedings
編集者 Hans Jurgen Schneider, Hartmut Ehrig
出版社Springer Verlag
ページ218-233
ページ数16
ISBN(印刷版)9783540577874
DOI
出版ステータス出版済み - 1 1 1994
外部発表はい
イベントInternational Workshop on Graph Transformations in Computer Science, 1993 - Dagstuhl Castle, ドイツ
継続期間: 1 4 19931 8 1993

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
776 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

その他

その他International Workshop on Graph Transformations in Computer Science, 1993
国/地域ドイツ
CityDagstuhl Castle
Period1/4/931/8/93

All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Relational structures and their partial morphisms in view of single pushout rewriting」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル