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

作成者
本文言語
出版者
発行日
収録物名
出版タイプ
アクセス権
概要 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 16  
53.ps.tar pdf 144 KB 48  

詳細

レコードID
査読有無
関連情報
注記
タイプ
登録日 2009.04.22
更新日 2018.08.31