{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:52Z","timestamp":1725664912885},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625599"},{"type":"electronic","value":"9783540680727"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62559-3_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:40:58Z","timestamp":1330278058000},"page":"224-238","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Algebraic graph derivations for graphical calculi"],"prefix":"10.1007","author":[{"given":"Wolfram","family":"Kahl","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"19_CR1","first-page":"372","volume-title":"Categories, allegories and circuit design","author":"C. Brown","year":"1994","unstructured":"Carolyn Brown and Graham Hutton. Categories, allegories and circuit design. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, pages 372\u2013381, Paris, France, 4\u20137 July 1994. IEEE Computer Society Press."},{"key":"19_CR2","unstructured":"Arne Bayer and Wolfram Kahl. The Higher-Object Programming System \u201cHOPS\u201d. In Bettina Buth and Rudolf Berghammer, editors, Systems for Computer-Aided Specification, Development and Verification, Bericht Nr. 9416, pages 154\u2013171. Universit\u00e4t Kiel, 1994. URL: http:\/\/inf2-www.informatik.unibw-muenchen.de\/HOPS\/papers\/Bayer-Kahl-94.ps.gz."},{"volume-title":"Relational Methods in Computer Science","year":"1996","key":"19_CR3","unstructured":"Chris Brink and Gunther Schmidt, editors. Relational Methods in Computer Science. Springer-Verlag, Wien, 1996. to appear."},{"key":"19_CR4","first-page":"214","volume-title":"volume 947 of LNCS","author":"S. Curtis","year":"1995","unstructured":"Sharon Curtis and Gavin Lowe. A graphical calculus. In Bernhard M\u00f6ller, editor, Mathematics of Program Construction, Third International Conference, MPC '95, Kloster Irsee, Germany, July 1995, volume 947 of LNCS, pages 214\u2013231. Springer Verlag, 1995."},{"key":"19_CR5","first-page":"1","volume-title":"volume 73 of Lecture Notes in Computer Science","author":"H. Ehrig","year":"1978","unstructured":"Hartmut Ehrig. Introduction to the algebraic theory of graph grammars. In Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg, editors, Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, volume 73 of Lecture Notes in Computer Science, pages 1\u201369, Bad Honnef, November 1978. Springer-Verlag."},{"key":"19_CR6","first-page":"24","volume-title":"volume 532 of Lecture Notes in Computer Science","author":"H. Ehrig","year":"1990","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 Ehrig et al. [EKR90]. pages 24\u201337."},{"volume-title":"volume 532 of Lecture Notes in Computer Science","year":"1990","key":"19_CR7","unstructured":"Hartmut Ehrig, Hans-J\u00f6rg Kreowski, and Grzegorz Rozenberg, editors. Graph-Grammars and Their Application to Computer Science, 4th International Workshop, volume 532 of Lecture Notes in Computer Science, Bremen, Germany, March 1990. Springer-Verlag."},{"key":"19_CR8","volume-title":"volume 39 of North-Holland Mathematical Library","author":"P. J. Freyd","year":"1990","unstructured":"Peter J. Freyd and Andre Scedrov. Categories, Allegories, volume 39 of North-Holland Mathematical Library. North-Holland, Amsterdam, 1990."},{"key":"19_CR9","first-page":"330","volume-title":"volume A-51 of IFIP Transactions","author":"W. Kahl","year":"1994","unstructured":"Wolfram Kahl. Can functional programming be liberated from the applicative style? In Bj\u00d8rn Pehrson and Imre Simon, editors Technology and Foundations, Information Processing '94, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August\u20132 September 1994, Volume I, volume A-51 of IFIP Transactions, pages 330\u2013335. IFIP, North-Holland, 1994."},{"key":"19_CR10","first-page":"104","volume-title":"Bericht MIP-9519","author":"W. Kahl","year":"1995","unstructured":"Wolfram Kahl. Aspects of typed term graphs. In Tiziana Margaria, editor, Kolloquium Programmiersprachen und Grundlagen der Programmierung, Adalbert Stifter Haus, Alt Reichenau, 11.\u201313. Oktober 1995, Bericht MIP-9519, pages 104\u2013109. Universit\u00e4t Passau, Fakult\u00e4t f\u00fcr Mathematik und Informatik, December 1995."},{"key":"19_CR11","unstructured":"Wolfram Kahl. Kategorien von Termgraphen mit gebundenen Variablen. Technischer Bericht 9503, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen, September 1995."},{"key":"19_CR12","isbn-type":"print","volume-title":"Algebraische Termgraphersetzung mit gebundenen Variablen","author":"W. Kahl","year":"1996","unstructured":"Wolfram Kahl. Algebraische Termgraphersetzung mit gebundenen Variablen. Reihe Informatik. Herbert Utz Verlag Wissenschaft, M\u00fcnchen, 1996. 3-931327-60-4; also doctoral dissertation at Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen.","ISBN":"http:\/\/id.crossref.org\/isbn\/3931327604"},{"key":"19_CR13","first-page":"490","volume-title":"volume 532 of Lecture Notes in Computer Science","author":"R. Kennaway","year":"1990","unstructured":"Richard Kennaway. Graph rewriting in some categories of partial morphisms. In Ehrig et al. [EKR90]. pages 490\u2013504."},{"key":"19_CR14","unstructured":"Michael L\u00f6we. Algebraic approach to graph transformation based on single pushout derivations. Technical Report 90\/05, TU Berlin, 1990."},{"key":"19_CR15","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science. Prentice Hall, 1989."},{"key":"19_CR16","unstructured":"Gunther Schmidt and Thomas Str\u00f6hlein. Relations and Graphs, Discrete Mathematics for Computer Scientists. EATCS-Monographs on Theoretical Computer Science. Springer Verlag, 1993."},{"issue":"2","key":"19_CR17","first-page":"52","volume":"20","author":"P. A. S. Veloso","year":"1991","unstructured":"Paulo A. S. Veloso and Armando M. Haeberer. A finitary relational algebra for classical first-order logic. Bulletin of the Section on Logic of the Polish Academy of Sciences, 20(2):52\u201362, 1991.","journal-title":"Bulletin of the Section on Logic of the Polish Academy of Sciences"},{"key":"19_CR18","first-page":"68","volume-title":"LNCS 246","author":"H. Zierer","year":"1986","unstructured":"Hans Zierer, Gunther Schmidt, and Rudolf Berghammer. An interactive graphical manipulation system for higher objects based on relational algebra. In Gottfried Tinhofer and Gunther Schmidt, editors, Proc. 12th International Workshop on Graph-Theoretic Concepts in Computer Science, LNCS 246, pages 68\u201381, Bernried, Starnberger See, June 1986. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Graph-Theoretic Concepts in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62559-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:33:05Z","timestamp":1558254785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62559-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625599","9783540680727"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-62559-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"3 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}