{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:34Z","timestamp":1725566134554},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159275"},{"type":"electronic","value":"9783642159282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15928-2_4","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T14:32:34Z","timestamp":1284993154000},"page":"43-58","source":"Crossref","is-referenced-by-count":7,"title":["Delaying Constraint Solving in Symbolic Graph Transformation"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Orejas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Berthold, M., Fischer, I., Koch, M.: Attributed graph transformation with partial attribution. In: GRATRA 2000. Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, pp. 171\u2013178 (2000)"},{"key":"4_CR2","first-page":"175","volume":"82","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H.: Attributed graphs and typing: Relationship between different representations. Bulletin of the EATCS\u00a082, 175\u2013190 (2004)","journal-title":"Bulletin of the EATCS"},{"issue":"1","key":"4_CR3","first-page":"31","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamental theory of typed attributed graph transformation based on adhesive HLR-categories. Fundamenta Informaticae\u00a074(1), 31\u201361 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR4","volume-title":"EATCS Monographs of Theoretical Computer Science","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs of Theoretical Computer Science. Springer, Heidelberg (2006)"},{"key":"4_CR5","volume-title":"EATCS Monographs of Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. In: EATCS Monographs of Theoretical Computer Science. Springer, Heidelberg (1985)"},{"issue":"1","key":"4_CR6","first-page":"1","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Padberg, J., Prange, U., Habel, A.: Adhesive high-level replacement systems: A new categorical framework for graph transformation. Fundamenta Informaticae\u00a074(1), 1\u201329 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR7","unstructured":"Heckel, R., K\u00fcster, J., Taentzer, G.: Towards automatic translation of uml models into semantic domains. In: APPLIGRAPH Workshop on Applied Graph Transformation, pp. 11\u201322 (2002)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37","author":"J. Jaffar","year":"1998","unstructured":"Jaffar, J., Maher, M., Marriot, K., Stuckey, P.: The semantics of constraint logic programs. The Journal of Logic Programming\u00a037, 1\u201346 (1998)","journal-title":"The Journal of Logic Programming"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. Knuth","year":"1968","unstructured":"Knuth, D.: Semantics of context-free languages. Mathematical Systems Theory\u00a02, 127\u2013145 (1968)","journal-title":"Mathematical Systems Theory"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S. Lack","year":"2005","unstructured":"Lack, S., Sobocinski, P.: Adhesive and quasiadhesive categories. Theoretical Informatics and Applications\u00a039, 511\u2013545 (2005)","journal-title":"Theoretical Informatics and Applications"},{"key":"4_CR11","first-page":"185","volume-title":"Term Graph Rewriting: Theory and Practice","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M., Korff, M., Wagner, A.: An algebraic framework for the transformation of attributed graphs. In: Term Graph Rewriting: Theory and Practice, pp. 185\u2013199. John Wiley, New York (1993)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_19","volume-title":"Graph Transformations","author":"F. Orejas","year":"2008","unstructured":"Orejas, F.: Attributed graph constraints. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214. Springer, Heidelberg (2008)"},{"key":"4_CR13","unstructured":"Orejas, F., Lambers, L.: Symbolic attributed graphs for attributed graph transformation. In: Int. Coll. on Graph and Model Transformation on the Occasion of the 65th Birthday of Hartmut Ehrig (2010)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-30203-2_11","volume-title":"Graph Transformations","author":"D. Plump","year":"2004","unstructured":"Plump, D., Steinert, S.: Towards graph programs for graph algorithms. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 128\u2013143. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15928-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:20:12Z","timestamp":1619785212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15928-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159275","9783642159282"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15928-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}