{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:54:50Z","timestamp":1743152090801,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642280375"},{"type":"electronic","value":"9783642280382"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28038-2_12","type":"book-chapter","created":{"date-parts":[[2012,4,23]],"date-time":"2012-04-23T15:01:33Z","timestamp":1335193293000},"page":"150-163","source":"Crossref","is-referenced-by-count":0,"title":["Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach"],"prefix":"10.1007","author":[{"given":"Maxime","family":"Rebout","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louis","family":"F\u00e9raud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Marie-Magdeleine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergei","family":"Soloviev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars (a Survey). In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-30203-2_13","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 161\u2013177. Springer, Heidelberg (2004)"},{"key":"12_CR4","unstructured":"AGG Homepage, http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"12_CR5","unstructured":"Wolz, D.: Colimit Library for Graph Transformations and Algebraic Development Techniques (1998)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-540-79709-8_39","volume-title":"Computer Science \u2013 Theory and Applications","author":"M. Rebout","year":"2008","unstructured":"Rebout, M., F\u00e9raud, L., Soloviev, S.: A Unified Categorical Approach for Attributed Graph Rewriting. In: Hirsch, E.A., Razborov, A.A., Semenov, A., Slissenko, A. (eds.) CSR 2008. LNCS, vol.\u00a05010, pp. 398\u2013409. Springer, Heidelberg (2008)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Chemouil, D.: Isomorphisms of Simple Inductive Types Through Extensional Rewriting. Math. Structures in Computer Science\u00a015(5) (2005)","DOI":"10.1017\/S0960129505004950"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Chemouil, D., Soloviev, S.: Remarks on Isomorphisms Of Simple Inductive Types. In: Mathematics, Logic and Computation, Eindhoven, April 7-May 7. ENTCS, vol.\u00a085(7), pp. 1\u201319. Elsevier (2003)","DOI":"10.1016\/S1571-0661(04)80760-6"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s11334-009-0082-7","volume":"5","author":"F. Jouault","year":"2009","unstructured":"Jouault, F., B\u00e9zivin, J., Barbero, M.: Towards an Advanced Model-driven Engineering Toolbox. Innovations in Systems and Software Engineering\u00a05(1), 5\u201312 (2009)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-45937-5_11","volume-title":"Compiler Construction","author":"E. Wyk Van","year":"2002","unstructured":"Van Wyk, E., de Moor, O., Backhouse, K., Kwiatkowski, P.: Forwarding in Attribute Grammars for Modular Language Design. In: CC 2002. LNCS, vol.\u00a02304, pp. 128\u2013142. Springer, Heidelberg (2002)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Kahl, W.: A Relational-algebraic Approach to Graph Structure Transformation. PhD thesis, Universit\u00e4t der Bundeswehr M\u00fcnchen (2001)","DOI":"10.1007\/3-540-36280-0_1"},{"key":"12_CR12","unstructured":"Rebout, M.: Une approche cat\u00e9gorique unifi\u00e9e pour la r\u00e9criture de graphes attribu\u00e9s. PhD thesis, Universit\u00e9 Paul Sabatier (2008)"},{"issue":"3\/4","key":"12_CR13","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph Grammars with Negative Application Conditions. Fundamenta Informaticae\u00a026(3\/4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ehrig, K., Taentzer, G., de Lara, J., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Termination Criteria for Model Transformation. In: Cordy, J.R., L\u00e4mmel, R., Winter, A. (eds.) Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Schloss Dagstuhl, Germany. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), vol.\u00a005161 (2005)","DOI":"10.1007\/978-3-540-31984-9_5"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/11663430_13","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., Sch\u00fcrr, A., Tratt, L.: Model Transformations in Practice Workshop. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 120\u2013127. Springer, Heidelberg (2006)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Taentzer, G., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Model Transformation by Graph Transformation: A Comparative Study. In: MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005) (2005)","DOI":"10.1007\/978-3-540-31984-9_5"},{"issue":"1-2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: Atl: A Model Transformation Tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"12_CR18","unstructured":"Heckel, R.: Graph Transformation in a Nutshell. In: B\u00e9zivin, J., Heckel, R. (eds.) Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Schloss Dagstuhl, Germany. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), vol.\u00a004101 (2004)"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-formalism and Meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 174\u2013188. Springer, Heidelberg (2002)"},{"key":"12_CR20","unstructured":"Schneider, H.J.: Implementing the Categorical Approach to Graph Transformations With Haskell. In: An Introduction to the Categorical Approach (Draft March 7, 2007)"}],"container-title":["Lecture Notes in Computer Science","Advances in Software Engineering Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28038-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,6]],"date-time":"2020-07-06T10:44:32Z","timestamp":1594032272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28038-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642280375","9783642280382"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28038-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}