{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:52Z","timestamp":1761611272046,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672036"},{"type":"electronic","value":"9783540464648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-46464-8_10","type":"book-chapter","created":{"date-parts":[[2010,10,20]],"date-time":"2010-10-20T13:43:10Z","timestamp":1287582190000},"page":"131-144","source":"Crossref","is-referenced-by-count":4,"title":["Pushout Complements for Arbitrary Partial Algebras"],"prefix":"10.1007","author":[{"given":"Merc\u00e8","family":"Llabr\u00e9s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesc","family":"Rossell\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Mathematical Research","doi-asserted-by":"crossref","DOI":"10.1515\/9783112720875","volume-title":"A Model Theoretic Oriented Approach to Partial Algebras","author":"P. Burmeister","year":"1986","unstructured":"Burmeister, P.: A Model Theoretic Oriented Approach to Partial Algebras. Mathematical Research, vol.\u00a032. Akademie-Verlag, Berlin (1986)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S0304-3975(96)00139-9","volume":"184","author":"P. Burmeister","year":"1997","unstructured":"Burmeister, P., Rossell\u00f3, F., Torrens, J., Valiente, G.: Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach. Theoretical Computer Science\u00a0184, 145\u2013193 (1997)","journal-title":"Theoretical Computer Science"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/3-540-08921-7_66","volume":"64","author":"H. Ehrig","year":"1978","unstructured":"Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B.K., Winkowski, J.: Deriving Structures from Structures. Lect. Notes in Comp. Science\u00a064, 177\u2013190 (1978)","journal-title":"Lect. Notes in Comp. Science"},{"unstructured":"Gro\u00dfe-Rhode, M.: Specification of State Based Systems by Algebra Rewrite Systems and Refinements. Technical Report 99-04, TU Berlin (March 1999)","key":"10_CR4"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(90)90171-D","volume":"77","author":"Y. Kawahara","year":"1990","unstructured":"Kawahara, Y.: Pushout-Complements and Basic Concepts of Grammars in Toposes. Theoretical Computer Science\u00a077, 267\u2013289 (1990)","journal-title":"Theoretical Computer Science"},{"unstructured":"Llabr\u00e9s, M., Rossell\u00f3, F.: Double-Pushout Transformation of Arbitrary Partial Algebras (in preparation)","key":"10_CR6"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1142\/S0129054195000056","volume":"6","author":"M. Monserrat","year":"1995","unstructured":"Monserrat, M., Rossell\u00f3, F., Torrens, J.: When is a Category of Many\u2013Sorted Partial Algebras Cartesian Closed? International Journal of Foundations of Computer Science\u00a06, 51\u201366 (1995)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"407","DOI":"10.3233\/FI-1996-263409","volume":"26","author":"A. Wagner","year":"1996","unstructured":"Wagner, A., Gogolla, M.: Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. Fundamenta Informaticae\u00a026, 407\u2013431 (1996)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Theory and Application of Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-46464-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T22:16:42Z","timestamp":1740608202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-46464-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672036","9783540464648"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-46464-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}