{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:41:39Z","timestamp":1648773699261},"reference-count":23,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1995,4,1]],"date-time":"1995-04-01T00:00:00Z","timestamp":796694400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6682,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1995,4]]},"DOI":"10.1016\/0304-3975(94)00076-u","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T19:40:02Z","timestamp":1049744402000},"page":"311-328","source":"Crossref","is-referenced-by-count":2,"title":["Relational graph rewritings"],"prefix":"10.1016","volume":"141","author":[{"given":"Yoshihiro","family":"Mizoguchi","sequence":"first","affiliation":[]},{"given":"Yasuo","family":"Kawahara","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(94)00076-U_BIB1","first-page":"112","article-title":"A representation of graphs by algebraic expressions and its use for graph rewriting systems","volume":"Vol. 291","author":"Courcelle","year":"1986"},{"key":"10.1016\/0304-3975(94)00076-U_BIB2","first-page":"13","article-title":"Monadic second-order evaluations on tree-decomposable graphs","volume":"Vol. 570","author":"Courcelle","year":"1991"},{"key":"10.1016\/0304-3975(94)00076-U_BIB3","first-page":"24","article-title":"Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts","volume":"Vol. 532","author":"Ehrig","year":"1990"},{"key":"10.1016\/0304-3975(94)00076-U_BIB4","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/mana.19790910111","article-title":"Pushout-properties: an analysis of gluing constructions for graphs","volume":"91","author":"Ehrig","year":"1979","journal-title":"Math. Nachr."},{"key":"10.1016\/0304-3975(94)00076-U_BIB5","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01752403","article-title":"Transformation of structures: an algebraic approach","volume":"14","author":"Ehrig","year":"1981","journal-title":"Math. Systems Theory"},{"key":"10.1016\/0304-3975(94)00076-U_BIB6","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(93)90066-3","article-title":"Parallel and distributed derivations in the single pushout approach","volume":"109","author":"Ehrig","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(94)00076-U_BIB7","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/0304-3975(80)90016-X","article-title":"Parallelism and concurrency of graph manipulations","volume":"11","author":"Ehrig","year":"1980","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(94)00076-U_BIB8","series-title":"Topoi, The Categorical Analysis of Logic","author":"Goldblatt","year":"1979"},{"key":"10.1016\/0304-3975(94)00076-U_BIB9","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(90)90171-D","article-title":"Pushout-complements and basic concepts of grammars in toposes","volume":"77","author":"Kawahara","year":"1990","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(94)00076-U_BIB10","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/B978-0-12-037104-4.50013-X","article-title":"Categorical assertion semantics in topoi","volume":"4","author":"Kawahara","year":"1992","journal-title":"Adv. Software Sci. Technol."},{"key":"10.1016\/0304-3975(94)00076-U_BIB11","first-page":"218","article-title":"Relational structures and their partial morphisms in view of single pushout rewriting","volume":"Vol. 776","author":"Kawahara","year":"1994"},{"key":"10.1016\/0304-3975(94)00076-U_BIB12","unstructured":"Y. Kawahara and Y. Mizoguchi, Relational calculus in topoi, in preparation."},{"key":"10.1016\/0304-3975(94)00076-U_BIB13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0304-3975(87)90079-X","article-title":"On \u201cOn graph rewritings\u201d","volume":"52","author":"Kennaway","year":"1987","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(94)00076-U_BIB14","first-page":"490","article-title":"Graph rewriting in some categories of partial morphisms","volume":"Vol. 532","author":"Kennaway","year":"1990"},{"key":"10.1016\/0304-3975(94)00076-U_BIB15","series-title":"Computational Problems in Abstract Algebras","first-page":"263","article-title":"Simple word problems in universal algebras","author":"Knuth","year":"1970"},{"key":"10.1016\/0304-3975(94)00076-U_BIB16","article-title":"Algebraic approach to graph transformation based on single pushout derivations with partial morphisms","author":"L\u00f6we","year":"1990"},{"key":"10.1016\/0304-3975(94)00076-U_BIB17","article-title":"Extended algebraic graph transformation","author":"L\u00f6we","year":"1991"},{"key":"10.1016\/0304-3975(94)00076-U_BIB18","first-page":"338","article-title":"Algebraic approach to graph transformation based on single pushout derivations","volume":"Vol. 484","author":"L\u00f6we","year":"1990"},{"key":"10.1016\/0304-3975(94)00076-U_BIB19","series-title":"Categories for the Mathematician","author":"Lane","year":"1972"},{"key":"10.1016\/0304-3975(94)00076-U_BIB20","first-page":"2","article-title":"A graph structure over the category of sets and partial functions","volume":"34","author":"Mizoguchi","year":"1993","journal-title":"Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle cat\u00e9goriques"},{"key":"10.1016\/0304-3975(94)00076-U_BIB21","first-page":"36","article-title":"Graph rewriting systems and their application to network reliability analysis","volume":"Vol. 570","author":"Okada","year":"1991"},{"key":"10.1016\/0304-3975(94)00076-U_BIB22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(84)90021-5","article-title":"On graph rewritings","volume":"32","author":"Raoult","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(94)00076-U_BIB23","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","article-title":"Categories of partial maps","volume":"79","author":"Robinson","year":"1988","journal-title":"Inform. Comput."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759400076U?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759400076U?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T21:28:53Z","timestamp":1556314133000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759400076U"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,4]]},"references-count":23,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,4]]}},"alternative-id":["030439759400076U"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(94)00076-u","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1995,4]]}}}