<technical report>
A graph structure over the category of sets and partial functions
Creator | |
---|---|
Language | |
Publisher | |
Date | |
Source Title | |
Vol | |
Publication Type | |
Access Rights | |
Related DOI | |
Related URI | |
Relation | |
Abstract | 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.show more |
Details
Record ID | |
---|---|
Peer-Reviewed | |
Notes | |
Type | |
Created Date | 2009.04.22 |
Modified Date | 2018.08.31 |