{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T19:46:33Z","timestamp":1790279193350,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540642992","type":"print"},{"value":"9783540697190","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64299-4_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:36:25Z","timestamp":1330299385000},"page":"223-237","source":"Crossref","is-referenced-by-count":26,"title":["An inductive view of graph transformation"],"prefix":"10.1007","author":[{"given":"F.","family":"Gadducci","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF01692060","volume":"20","author":"M. Bauderon","year":"1987","unstructured":"M. Bauderon and B. Courcelle. Graph expressions and graph rewritings. Mathematical Systems Theory, 20:83\u2013127, 1987.","journal-title":"Mathematical Systems Theory"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"S. Bloom and Z. \u00e9sik. Iteration Theories. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1993.","DOI":"10.1007\/978-3-642-78034-9"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"S. Bloom and Z. \u00e9sik. Solving polinomials fixed point equations. In Mathematical Foundations of Computer Science, volume 841 of LNCS, pages 52\u201367. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58338-6_58"},{"key":"12_CR4","unstructured":"S.L. Bloom, Z. \u00e9sik, A. Labella, and E.G. Manes. Iteration 2-theories. In Proceedings AMAST'97, 1997. To appear."},{"key":"12_CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A. Carboni","year":"1987","unstructured":"A. Carboni and R.F.C. Walters. Cartesian bicategories I. Journal of Pure and Applied Algebra, 49:11\u201332, 1987.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari, and F. Rossi. Abstract Graph Derivations in the Double-Pushout Approach. In H.-J. Schneider and H. Ehrig, editors, Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science, volume 776 of LNCS, pages 86\u2013103. Springer Verlag, 1994.","DOI":"10.1007\/3-540-57787-4_6"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"A. Corradini and F. Gadducci. A 2-categorical presentation of term graph rewriting. In Proceedings CTCS'97, volume 1290 of LNCS. Springer Verlag, 1997.","DOI":"10.1007\/BFb0026983"},{"key":"12_CR8","unstructured":"A. Corradini and F. Gadducci. Rewriting cyclic structures. draft, 1997."},{"key":"12_CR9","unstructured":"A. Corradini and F. Gadducci. An algebraic presentation of term graphs, via gs-monoidal categories. Applied Categorical Structures, 1998. To appear. Available at http:\/\/www.di.unipi.it\/~gadducci\/papers\/aptg.ps."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"A. Corradini and F. Gadducci. Rational term rewriting. In M. Nivat, editor, Proceedings FoSSaCS'98, LNCS. Springer Verlag, 1998. To appear.","DOI":"10.1007\/BFb0053548"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"A. Corradini, F. Gadducci, and U. Montanari. Relating two categorical models of term rewriting. In Rewriting Tecniques and Applications, volume 914 of LNCS, pages 225\u2013240. Springer Verlag, 1995.","DOI":"10.1007\/3-540-59200-8_59"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"A. Corradini and U. Montanari. An Algebra of Graphs and Graph Rewriting. In Proceedings of the 4 th Summer Conference on Category Theory and Computer Science (CTCS '91), volume 530 of LNCS, pages 236\u2013260. Springer Verlag, 1991.","DOI":"10.1007\/BFb0013469"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Lowe. Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific, 1997.","DOI":"10.1142\/9789812384720_0003"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"H. Ehrig, P. Boehm, U. Hummert, and M. Lowe. Distributed parallelism of graph transformation. In 13th Int. Workshop on Graph Theoretic Concepts in Computer Science, volume 314 of LNCS, pages 1\u201319. Springer Verlag, 1988.","DOI":"10.1007\/3-540-19422-3_1"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender, and H.J. Schneider. Graph-grammars: an algebraic approach. In Proceedings IEEE Conf. on Automata and Switching Theory, pages 167\u2013180, 1973.","DOI":"10.1109\/SWAT.1973.11"},{"key":"12_CR16","unstructured":"A. Habel. Hyperedge replacement: Grammars and languages, volume 643 of LNCS. Springer Verlag, 1992."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"U. Hensel and D. Spooner. A view on implementing processes: Categories of circuits. In M. Haveraaen, O. Owe, and O. Dahl, editors, Recent Trends in Data Types Specification, volume 1130 of LNCS, pages 237\u2013255. Springer Verlag, 1995.","DOI":"10.1007\/3-540-61629-2_46"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"H.-J. Hoenke. On partial recursive definitions and programs. In International Conference on Fundamentals of Computations Theory, volume 56 of LNCS, pages 260\u2013274. Springer Verlag, 1977.","DOI":"10.1007\/3-540-08442-8_93"},{"key":"12_CR19","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(94)90020-5","volume":"69","author":"B. Jacobs","year":"1994","unstructured":"B. Jacobs. Semantics of weakening and contraction. Annals of Pure and Applied Logic, 69:73\u2013106, 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR20","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A. Joyal","year":"1996","unstructured":"A. Joyal, R. Street, and D. Verity. Traced Monoidal Category. Mathematical Proceedings of the Cambridge Philosophical Society, 119:425\u2013446, 1996.","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"12_CR21","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0022-4049(96)00012-6","volume":"115","author":"P. Katis","year":"1997","unstructured":"P. Katis, N. Sabadini, and R.F.C. Walters. Bicategories of processes. Journal of Pure and Applied Algebra, 115:141\u2013178, 1997.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"P. Katis, N. Sabadini, and R.F.C. Walters. Span(graph): A categorical algebra of transition systems. to appear Proceedings AMAST'97, 1997.","DOI":"10.1007\/BFb0000479"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"G.M. Kelly and R.H. Street. Review of the elements of 2-categories. In G.M. Kelly, editor, Proceedings of the Sydney Category Seminar, volume 420 of Lecture Notes in Mathematics, pages 75\u2013103. Springer Verlag, 1974.","DOI":"10.1007\/BFb0063101"},{"key":"12_CR24","unstructured":"J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 1, pages 1\u2013116. Oxford University Press, 1992."},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Y. Lafont. Equational reasoning with 2-dimensional diagrams. In Term Rewriting, French Spring School of Theoretical Computer Science, volume 909 of LNCS, pages 170\u2013195. Springer Verlag, 1995.","DOI":"10.1007\/3-540-59340-3_13"},{"key":"12_CR26","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F.W. Lawvere","year":"1963","unstructured":"F.W. Lawvere. Functorial semantics of algebraic theories. Proc. National Academy of Science, 50:869\u2013872, 1963.","journal-title":"Proc. National Academy of Science"},{"key":"12_CR27","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"A.J. Power. An abstract formulation for rewrite systems. In Proceedings Category Theory in Computer Science, volume 389 of LNCS, pages 300\u2013312. Springer Verlag, 1989.","DOI":"10.1007\/BFb0018358"},{"key":"12_CR29","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/0021-8693(90)90229-H","volume":"129","author":"J. Power","year":"1990","unstructured":"J. Power. A 2-categorical parsing theorem. Journal of Algebra, 129:439\u2013445, 1990.","journal-title":"Journal of Algebra"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific, 1997.","DOI":"10.1142\/3303"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"D.E. Rydehard and E.G. Stell. Foundations of equational deductions: A categorical treatment of equational proofs and unification algorithms. In Proceedings Category Theory in Computer Science, volume 283 of LNCS, pages 114\u2013139. Springer Verlag, 1987.","DOI":"10.1007\/3-540-18508-9_23"},{"key":"12_CR32","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/0304-3975(87)90114-9","volume":"52","author":"G. Stefanescu","year":"1987","unstructured":"G. Stefanescu. On flowchart theories: Part II. The nondeterministic case. Theoret. Comput. Sci., 52:307\u2013340, 1987.","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR33","unstructured":"G. Stefanescu. Algebra of flownomials. Technical Report SFB-Bericht 342\/16\/94 A, Technical University of M\u00fcnchen, Institut f\u00fcr Informatik, 1994."},{"key":"12_CR34","unstructured":"J.G. Stell. Categorical Aspects of Unification and Rewriting. PhD thesis, University of Manchester, 1992."},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"R. Street. Categorical structures. In M. Hazewinkel, editor, Handbook Of Algebra, pages 529\u2013577. Elsevier, 1996.","DOI":"10.1016\/S1570-7954(96)80019-2"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64299-4_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:49Z","timestamp":1605647989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64299-4_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642992","9783540697190"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-64299-4_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}