{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:15Z","timestamp":1725663735881},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577874"},{"type":"electronic","value":"9783540483335"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57787-4_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:21:36Z","timestamp":1330262496000},"page":"218-233","source":"Crossref","is-referenced-by-count":4,"title":["Relational structures and their partial morphisms in view of single pushout rewriting"],"prefix":"10.1007","author":[{"given":"Yasuo","family":"Kawahara","sequence":"first","affiliation":[]},{"given":"Yoshihiro","family":"Mizoguchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"V. Claus, H. Ehrig and G. Rozenberg (Eds.), Graph-Grammars and Their Application to Computer Science and Biology, Lecture Notes in Computer Science 73(1979).","DOI":"10.1007\/BFb0025713"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01752403","volume":"14","author":"H. Ehrig","year":"1981","unstructured":"H. Ehrig, H.-J. Kreowski, A. Maggiolo-Schettini, B. K. Rosen and J. Winkowski, Transformations of structures: an algebraic approach, Math. Systems Theory 14(1981), 305\u2013334.","journal-title":"Math. Systems Theory"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.-J. Kreowski and G. Rozenberg (Eds.), Graph-Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 153(1982).","DOI":"10.1007\/BFb0000094"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.-J. Kreowski and G. Rozenberg (Eds.), Graph-Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 532(1991).","DOI":"10.1007\/BFb0017372"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Nagl, G. Rozenberg and A. Rosenfeld (Eds.), Graph-Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 291(1987).","DOI":"10.1007\/3-540-18771-5_40"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H. Pfender and H.J. Schneider, Graph grammars: an algebraic approach, Proc. 14th Ann. Conf. on Switching and Automata Theory (1973), 167\u2013180.","DOI":"10.1109\/SWAT.1973.11"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(90)90171-D","volume":"77","author":"Y. Kawahara","year":"1990","unstructured":"Y. Kawahara, Pushout-complements and basic concepts of grammars in toposes, Theoret. Comput. Sci. 77(1990), 267\u2013289.","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/B978-0-12-037104-4.50013-X","volume":"4","author":"Y. Kawahara","year":"1992","unstructured":"Y. Kawahara and Y. Mizoguchi, Categorical assertion semantics in topoi, Advances in Software Science and Technology, 4(1992), 137\u2013150.","journal-title":"Advances in Software Science and Technology"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/BFb0017408","volume":"532","author":"R. Kennaway","year":"1991","unstructured":"R. Kennaway, Graph rewriting in some categories of partial morphisms, Lecture Notes in Computer Science 532(1991), 490\u2013504.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-53832-1_52","volume":"484","author":"M. L\u00f6we","year":"1991","unstructured":"M. L\u00f6we and H. Ehrig, Algebraic approach to graph transformation based on single pushout derivations, Lecture Notes in Computer Science 484(1991), 338\u2013353.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the Working Mathematician, (Springer-Verlag, 1972).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"14_CR12","unstructured":"Y. Mizoguchi, A graph structure over the category of sets and partial functions, to appear in Cahiers de topologie et g\u00e9om\u00e9torie diff\u00e9rentielle cat\u00e9goriques."},{"key":"14_CR13","unstructured":"Y. Mizoguchi and Y. Kawahara, Relational graph rewritings, to appear in TCS."},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(84)90021-5","volume":"32","author":"J. C. Raoult","year":"1984","unstructured":"J. C. Raoult, On graph rewritings, Theoret. Comput. Sci. 32(1984), 1\u201324.","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E. Robinson","year":"1988","unstructured":"E. Robinson and G. Rosolini, Categories of partial maps, Inf. Comp. 79(1988), 95\u2013130.","journal-title":"Inf. Comp."},{"key":"14_CR16","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/3-540-53982-4_6","volume":"493","author":"P. M. Broek van den","year":"1991","unstructured":"P.M. van den Broek, Algebraic graph rewtiting using a single pushouts, Lecture Notes in Computer Science 493(1991), 90\u2013102.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57787-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:05Z","timestamp":1605647645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57787-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577874","9783540483335"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-57787-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}