{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:24Z","timestamp":1761611184099},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612285"},{"type":"electronic","value":"9783540683889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_75","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:17:05Z","timestamp":1153145825000},"page":"1-15","source":"Crossref","is-referenced-by-count":1,"title":["A partial algebras approach to graph transformation"],"prefix":"10.1007","author":[{"given":"R.","family":"Alberich","sequence":"first","affiliation":[]},{"given":"P.","family":"Burmeister","sequence":"additional","affiliation":[]},{"given":"F.","family":"Rossell\u00f3","sequence":"additional","affiliation":[]},{"given":"G.","family":"Valiente","sequence":"additional","affiliation":[]},{"given":"B.","family":"Wojdyto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"1_CR1","unstructured":"Ricardo Alberich, Manuel Moy\u00e0, Francesc Rossell\u00f3, and Lloren\u00e7 Sastre. A note on a paper by Peter Burmeister and Boleslaw Wojdylo. Preprint, 1995."},{"key":"1_CR2","volume-title":"Mathematical Research, volume 32","author":"P. Burmeister","year":"1986","unstructured":"Peter Burmeister. A Model Theoretic Oriented Approach to Partial Algebras. Introduction to Theory and Application of Partial Algebras\u2014Part I. In Mathematical Research, volume 32. Akademie-Verlag, Berlin, 1986."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Peter Burmeister. Partial Algebras. An Introductory Survey. In Algebras and Orders: Proceedings of the NATO Advanced Study Institute and S\u00e9minaire de Math\u00e9matiques sup\u00e9rieures on Algebras and Orders, volume 389 of NATO ASI Series C, pages 1\u201370. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-94-017-0697-1_1"},{"key":"1_CR4","unstructured":"Peter Burmeister, Miquel Monserrat, Francesc Rossell\u00f3, and Gabriel Valiente. Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach. Preprint, 1995."},{"key":"1_CR5","unstructured":"Peter Burmeister, Francesc Rossell\u00f3, Joan Torrens, and Gabriel Valiente. Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach. Submitted to Theoretical Computer Science, 1995."},{"key":"1_CR6","unstructured":"Peter Burmeister and Boleslaw Wojdylo. The meaning of basic category theoretical notions in some categories of partial algebras. Technical Report TR 1350, Fachbereich Mathematik, Technische Hochschule Darmstadt, January 1991. Appeared as Parts I and II in Demonstratio Mathematica XXV (1992), pages 583\u2013602 and 973\u2013994 respectively."},{"key":"1_CR7","first-page":"24","volume-title":"volume 532 of Lecture Notes in Computer Science","author":"H. Ehrig","year":"1991","unstructured":"Hartmut Ehrig, Martin Korff, and Michael L\u00f6we. Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. In Hartmut Ehrig, Hans-J\u00f6rg Kreowski, and Grzegorg Rozenberg, editors, Proceedings 4th International Workshop on Graph-Grammars and their Application to Computer Science volume 532 of Lecture Notes in Computer Science, pages 24\u201337, Berlin, 1991. Springer-Verlag."},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"Michael L\u00f6we. Algebraic approach to single-pushout graph transformation. Theoretical Computer Science, 109:181\u2013224, 1993.","journal-title":"Theoretical Computer Science"},{"key":"1_CR9","unstructured":"Julia Padberg. Survey of high-level replacement systems. Technical Report 93-8, Fachbereich Informatik, Technische Universit\u00e4t Berlin, March 1993."},{"key":"1_CR10","unstructured":"Francesc Rossell\u00f3 and Gabriel Valiente. Partial algebras for the graph grammarian. In Gabriel Valiente and Francesc Rossell\u00f3, editors, Proceedings Colloquium on Graph Transformation and its Application in Computer Science, pages 107\u2013115, Mallorca, 1994. Technical Report UIB-DMI-B-19 (1995)."},{"key":"1_CR11","first-page":"321","volume-title":"volume 682 of Lecture Notes in Computer Science","author":"G. Valiente","year":"1993","unstructured":"Gabriel Valiente. On knowledge base redundancy under uncertain reasoning. In Bernadette Bouchon-Meunier, Lloren\u00e7 Valverde, and Ronald Yager, editors, Proceedings International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU-92, volume 682 of Lecture Notes in Computer Science, pages 321\u2013329, Berlin, 1993. Springer-Verlag."},{"issue":"3","key":"1_CR12","first-page":"341","volume":"6","author":"G. Valiente","year":"1993","unstructured":"Gabriel Valiente. Verification of knowledge base redundancy and subsumption using graph transformations. The International Journal of Expert Systems: Research & Applications, 6(3):341\u2013355, September 1993.","journal-title":"The International Journal of Expert Systems: Research & Applications"},{"key":"1_CR13","unstructured":"Gabriel Valiente. Knowledge Base Verification using Algebraic Graph Transformations. PhD thesis, University of the Balearic Islands, December 1994."},{"key":"1_CR14","unstructured":"Annika Wagner and Martin Gogolla. Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. To appear in Fundamenta Informatica, 1994."}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61228-9_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:02:30Z","timestamp":1555725750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}