{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T13:07:47Z","timestamp":1762175267521},"reference-count":23,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1990,12,1]],"date-time":"1990-12-01T00:00:00Z","timestamp":660009600000},"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":8264,"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":[[1990,12]]},"DOI":"10.1016\/0304-3975(90)90171-d","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:37Z","timestamp":1027655257000},"page":"267-289","source":"Crossref","is-referenced-by-count":16,"title":["Pushout-complements and basic concepts of grammars in toposes"],"prefix":"10.1016","volume":"77","author":[{"given":"Yasuo","family":"Kawahara","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(90)90171-D_BIB1","series-title":"Arrows, Structures, and Functors, the Categorical Imperative","author":"Arbib","year":"1975"},{"key":"10.1016\/0304-3975(90)90171-D_BIB2","first-page":"1498","article-title":"The structures of correspondence categories","volume":"18","author":"Calenko","year":"1977","journal-title":"Soviet Math. Dokl."},{"key":"10.1016\/0304-3975(90)90171-D_BIB3","first-page":"239","article-title":"Classification of correspondence categories and types of regularity for categories","volume":"1","author":"Calenko","year":"1982","journal-title":"Trans. Moscow Math. Soc."},{"key":"10.1016\/0304-3975(90)90171-D_BIB4","article-title":"Ordered categories with involution","volume":"227","author":"Calenko","year":"1984","journal-title":"Diss. Math."},{"key":"10.1016\/0304-3975(90)90171-D_BIB5","first-page":"1","article-title":"Introduction to the algebraic theory of graph grammars (a survey)","volume":"73","author":"Ehrig","year":"1979"},{"key":"10.1016\/0304-3975(90)90171-D_BIB6","first-page":"58","article-title":"Aspects of concurrency in graph grammars","volume":"153","author":"Ehrig","year":"1983"},{"key":"10.1016\/0304-3975(90)90171-D_BIB7","first-page":"13","article-title":"Concurrent transformations of relational structures","volume":"9","author":"Ehrig","year":"1986","journal-title":"Fund. Inform."},{"key":"10.1016\/0304-3975(90)90171-D_BIB8","first-page":"323","article-title":"Categorical approach to graphic systems and graph grammars","volume":"131","author":"Ehrig","year":"1976"},{"key":"10.1016\/0304-3975(90)90171-D_BIB9","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(90)90171-D_BIB10","first-page":"177","article-title":"Deriving structures from structures","volume":"64","author":"Ehrig","year":"1978"},{"key":"10.1016\/0304-3975(90)90171-D_BIB11","first-page":"192","article-title":"Decomposition of graph grammars, productions and derivations","volume":"73","author":"Ehrig","year":"1979"},{"key":"10.1016\/0304-3975(90)90171-D_BIB12","first-page":"206","article-title":"The mathematics of record handling","volume":"52","author":"Ehrig","year":"1977"},{"key":"10.1016\/0304-3975(90)90171-D_BIB13","first-page":"82","article-title":"Church-Rosser properties for graph replacement systems with unique splitting","volume":"153","author":"Ehrig","year":"1983"},{"key":"10.1016\/0304-3975(90)90171-D_BIB14","first-page":"221","article-title":"Introducing Institutions","volume":"164","author":"Goguen","year":"1984"},{"key":"10.1016\/0304-3975(90)90171-D_BIB15","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(84)90134-8","article-title":"Some fundamental algebraic tools for the semantics of computation, Part 1: Comma categories, colimits, signatures and theories","volume":"31","author":"Goguen","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(90)90171-D_BIB16","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0304-3975(84)90036-7","article-title":"Some fundamental algebraic tools for the semantics of computation, Part 2: Signed and abstract theories","volume":"31","author":"Goguen","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(90)90171-D_BIB17","series-title":"Topoi, The Categorial Analysis of Logic","author":"Goldblatt","year":"1979"},{"key":"10.1016\/0304-3975(90)90171-D_BIB18","series-title":"Topos Theory","author":"Johnstone","year":"1977"},{"key":"10.1016\/0304-3975(90)90171-D_BIB19","first-page":"149","article-title":"Relations in categories with pullbacks","volume":"A 27","author":"Kawahara","year":"1973","journal-title":"Mem. Fac. Sci. Kyushu Univ. Ser."},{"key":"10.1016\/0304-3975(90)90171-D_BIB20","series-title":"Introduction to Higher Order Categorical Logic","author":"Lambek","year":"1986"},{"key":"10.1016\/0304-3975(90)90171-D_BIB21","series-title":"The Categories for the Working Mathematician","author":"MacLane","year":"1971"},{"key":"10.1016\/0304-3975(90)90171-D_BIB22","series-title":"Algebraic Methods in Semantics","author":"Nivat","year":"1985"},{"key":"10.1016\/0304-3975(90)90171-D_BIB23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01438388","article-title":"Korrespondenzen in Abelschen Kategorien","volume":"148","author":"Puppe","year":"1962","journal-title":"Math. Ann."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759090171D?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759090171D?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T03:52:41Z","timestamp":1555127561000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759090171D"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,12]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1990,12]]}},"alternative-id":["030439759090171D"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(90)90171-d","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1990,12]]}}}