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

詳細

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

この資料を見た人はこんな資料も見ています