A graph structure over the category of sets and partial functions - 九大コレクション

＜テクニカルレポート＞
A graph structure over the category of sets and partial functions

作成者	著者識別子 100022997 作成者名 Mizoguchi, Yoshihiro 溝口, 佳寛所属機関所属機関名 Department of Control Engineering and Science, Kyushu Institute of Technology 九州工業大学情報工学部制御システム工学科
本文言語	英語
出版者	Research Institute of Fundamental Information Science, Kyushu University
出版者	九州大学理学部附属基礎情報学研究施設
発行日	1992-01
収録物名	RIFIS Technical Report
巻	53
出版タイプ	Accepted Manuscript
アクセス権	open access
関連DOI	RIFIS Technical Report \|\| 53
関連DOI	http://www.i.kyushu-u.ac.jp/research/report.html
関連URI	RIFIS Technical Report \|\| 53
関連URI	http://www.i.kyushu-u.ac.jp/research/report.html
関連情報	RIFIS Technical Report \|\| 53
関連情報	http://www.i.kyushu-u.ac.jp/research/report.html
概要	In 1984, Raoult proposed a formalization of graph rewritings using pushouts in the category of graphs and partial functions. This note generalizes his method and formulates algebraic graph structure t...o introduce a more general framework for graph rewritings and to give a simple proof of existence theorem of pushouts using relational calculus.続きを見る

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
53.ps	tgz	60.3 KB	49
53.ps.tar	pdf	144 KB	279

レコードID	3061
査読有無	査読無
注記	cahiers de topologie et g{'e}nom{'e}tries diff{'e}entielle cat{'e}goriques, Vol. 31-1, 2-12, 1993
タイプ	テクニカルレポート
登録日	2009.04.22
更新日	2018.08.31