{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:24Z","timestamp":1761611064565},"reference-count":29,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"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":5252,"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":[[1999,3]]},"DOI":"10.1016\/s0304-3975(97)00282-x","type":"journal-article","created":{"date-parts":[[2003,4,25]],"date-time":"2003-04-25T10:09:04Z","timestamp":1051265344000},"page":"311-362","source":"Crossref","is-referenced-by-count":7,"title":["Algebraic transformation of unary partial algebras II: Single-pushout approach"],"prefix":"10.1016","volume":"216","author":[{"given":"P.","family":"Burmeister","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Monserrat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Rossell\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Valiente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(97)00282-X_BIB1","series-title":"Proc. 5th Internat. Workshop on Graph Grammars and their Application to Computer Science","first-page":"1","article-title":"A partial algebras approach to graph transformation","volume":"vol. 1073","author":"Alberich","year":"1996"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1515\/dema-1997-0116","article-title":"A note on a series of papers by Burmeister and Wojdy\u0142o","volume":"30","author":"Alberich","year":"1997","journal-title":"Demonstratio Math."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB3","series-title":"Algebraic System Specification and Development: A Survey and Annotated Bibliography","volume":"vol. 501","year":"1991"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB4","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0022-0000(87)90030-4","article-title":"Amalgamation of graph transformations: a synchronization mechanism","volume":"34","author":"Boehm","year":"1987","journal-title":"J. Comput. Systems Sci."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB5","article-title":"A Model Theoretic Oriented Approach to Partial Algebras, Introduction to the Theory and Applications of Partial Algebras","volume":"vol. 32","author":"Burmeister","year":"1986"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB6","article-title":"Properties of homomorphisms and quomorphisms between partial algebras II. Some equivalences and some new factorization systems","author":"Burmeister","year":"1992","journal-title":"Preliminary Report"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB7","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/S0304-3975(96)00139-9","article-title":"Algebraic transformation of unary partial algebras I: double-pushout approach","volume":"184","author":"Burmeister","year":"1997","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB8","series-title":"Contributions to General Algebra, 5, Proc. Salzburg Conf.","first-page":"69","article-title":"Properties of homomorphisms and quomorphisms between partial algebras","author":"Burmeister","year":"1987"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB9_1","first-page":"583","article-title":"The meaning of Basic Category Theoretical Notions in Some Categories of Partial Algebras I","volume":"XXV","author":"Burmeister","year":"1992","journal-title":"Demonstratio Math."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB9_2","first-page":"973","article-title":"The meaning of Basic Category Theoretical Notions in Some Categories of Partial Algebras II","volume":"XXV","author":"Burmeister","year":"1992","journal-title":"Demonstratio Math."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB9_3","first-page":"825","article-title":"The meaning of Basic Category Theoretical Notions in Some Categories of Partial Algebras III","volume":"XXIX","author":"Burmeister","year":"1997","journal-title":"Demonstratio Math."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB10","unstructured":"M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-Br\u00fcckner, Z. Qian, M. Wolf (Eds.), Algebraic System Specification and Development: Survey and Annotated Bibliography, 2nd ed., in preparation."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB11","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/23005.24038","article-title":"A model of distributed systems based on graph rewriting","volume":"34","author":"Degano","year":"1987","journal-title":"J. ACM"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB12","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF00872984","article-title":"Categorical principles, techniques and results for high-level-replacement systems in computer science","volume":"1","author":"Ehrig","year":"1993","journal-title":"Appl. Cat. Struct."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB13","series-title":"Studien zur Algebra und ihre Anwendungen","first-page":"7","article-title":"Superposition partieller Funktionen","author":"Hoehnke","year":"1972"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB14","series-title":"Proc. 4th Internat. Workshop on Graph Grammars and their Application to Computer Science","first-page":"490","article-title":"Graph rewriting in some categories of partial morphisms","volume":"vol. 532","author":"Kennaway","year":"1991"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","article-title":"Algebraic approach to single-pushout graph transformation","volume":"109","author":"L\u00f6we","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB16","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1142\/S0129054195000056","article-title":"When is a category of many-sorted partial algebras cartesian closed?","volume":"6","author":"Monserrat","year":"1995","journal-title":"Internat. J. Found. Comput. Sci."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S1571-0661(05)80198-7","article-title":"Hypergraph rewriting using conformisms","volume":"2","author":"Monserrat","year":"1995","journal-title":"Electronic Notes Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB18","article-title":"Rewriting in categories of spans","author":"Monserrat","year":"1996"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB19","article-title":"Kategorientheoretische Eigenschaften der totaldefinierten Konformismen und der Quomorphismen auf initialen Segmenten","author":"Motthagi","year":"1993"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB20","unstructured":"M. Moy\u00e0, F. Rossell\u00f3, L. Sastre, A category of partial homomorphisms of partial algebras that is always cocomplete, Demonstratio Math., submitted."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB21","article-title":"Survey of high-level replacement systems","author":"Padberg","year":"1993"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB22","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/BF02945119","article-title":"Partial morphisms of partial algebras","volume":"3","author":"Poythress","year":"1973","journal-title":"Algebra Universalis"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB23","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\/S0304-3975(97)00282-X_BIB24","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00288659","article-title":"Grammars on partial graphs","volume":"6","author":"Schneider","year":"1976","journal-title":"Acta Inform."},{"key":"10.1016\/S0304-3975(97)00282-X_BIB25","first-page":"341","article-title":"Verification of knowledge base redundancy and subsumption using graph transformations","volume":"6","author":"Valiente","year":"1993","journal-title":"Internat. J. Expert Systems"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB26","article-title":"Knowledge base verification using algebraic graph transformations","author":"Valiente","year":"1994"},{"key":"10.1016\/S0304-3975(97)00282-X_BIB27","doi-asserted-by":"crossref","first-page":"407","DOI":"10.3233\/FI-1996-263409","article-title":"Defining operational behavior of object specifications by attributed graph transformations","volume":"26","author":"Wagner","year":"1996","journal-title":"Fund. Inform."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S030439759700282X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S030439759700282X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T13:33:33Z","timestamp":1620308013000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S030439759700282X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":29,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["S030439759700282X"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(97)00282-x","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}