A graph structure over the category of sets and partial functions
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993) no. 1, pp. 2-12.
@article{CTGDC_1993__34_1_2_0,
     author = {Mizoguchi, Yoshihiro},
     title = {A graph structure over the category of sets and partial functions},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {2--12},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {34},
     number = {1},
     year = {1993},
     mrnumber = {1213294},
     zbl = {0779.68055},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1993__34_1_2_0/}
}
TY  - JOUR
AU  - Mizoguchi, Yoshihiro
TI  - A graph structure over the category of sets and partial functions
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1993
SP  - 2
EP  - 12
VL  - 34
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1993__34_1_2_0/
LA  - en
ID  - CTGDC_1993__34_1_2_0
ER  - 
%0 Journal Article
%A Mizoguchi, Yoshihiro
%T A graph structure over the category of sets and partial functions
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1993
%P 2-12
%V 34
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1993__34_1_2_0/
%G en
%F CTGDC_1993__34_1_2_0
Mizoguchi, Yoshihiro. A graph structure over the category of sets and partial functions. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993) no. 1, pp. 2-12. http://www.numdam.org/item/CTGDC_1993__34_1_2_0/

[1] M.S. Calenko. The structures of correspondence categories. Soviet Math. Dokl., 18(1977), 1498-1502. | Zbl

[2] M.S. Calenko, V.B. Gisin, and D.A. Raikov. Ordered categories with involution. Dissertations Mathematics, 227(1984). | MR | Zbl

[3] H. Ehrig, M. Korff, and M. Löwe. Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. Lecture Notes in Computer Science, 532(1990), 24-37. | Zbl

[4] H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, editors. Graph-grammars and their application to computer science, volume 291 of Lecture Notes in Computer Science. Springer-Verlag, 1986. | MR | Zbl

[5] Y. Kawahara. Relations in categories with pullbacks. Mem. Fac. Sci. Kyushu University, Ser.A27(1973), 149-173. | MR | Zbl

[6] Y. Kawahara. Applications of relational calculus to computer mathematics. Bull. of Informatics and Cybernetics, 23(1988), 67-78. | MR | Zbl

[7] Y. Kawahara. Pushout-complements and basic concepts of grammars in toposes. Theoretical Computer Science, 77(1990), 267-289. | MR | Zbl

[8] Y. Kawahara and Y. Mizoguchi. Categorical assertion semantics in toposes. Advances Softw. Sci. and Tech., in press.

[9] R. Kennaway. On "On graph rewritings". Theoretical Computer Science, 52(1987), 37-58. | MR | Zbl

[10] R. Kennaway. Graph rewriting in some categories of partial morphisms. Lecture Notes in Computer Science, 532(1990), 490-504. | MR | Zbl

[11] M. Löwe and H. Ehrig. Algebraic approach to graph transformation based on single pushout derivations. Lecture Notes in Computer Science, 484(1990), 338-353. | MR | Zbl

[12] Y. Mizoguchi and Y. Kawahara. Graph rewritings without gluing conditions. RIFIS Tech. Report CS-42, Kyushu University, 1991.

[13] J.C. Raoult. On graph rewritings. Theoretical Computer Science, 32(1984), 1-24. | MR | Zbl