<テクニカルレポート>
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 7  
53.ps.tar pdf 144 KB 44  

詳細

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