{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:18Z","timestamp":1761611298825},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503255"},{"type":"electronic","value":"9783540459705"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50325-0_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:21:15Z","timestamp":1330183275000},"page":"92-112","source":"Crossref","is-referenced-by-count":8,"title":["Jungle evaluation"],"prefix":"10.1007","author":[{"given":"Annegret","family":"Habel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Detlef","family":"Plump","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, M.R. Sleep: Term Graph Reduction. University of East-Anglia and University of Nijmegen, Proc. PARLE Conference on Parallel Architectures and Languages, Eindhoven (1987).","DOI":"10.1007\/3-540-17945-3_8"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0025714","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"H. Ehrig: Introduction to the Algebraic Theory of Graph Grammars. Proc. 1st Graph Grammar Workshop, Lect. Not. Comp. Sci. 73, 1\u201369 (1979).","journal-title":"Lect. Not. Comp. Sci."},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/3-540-07854-1_188","volume":"45","author":"H. Ehrig","year":"1976","unstructured":"H. Ehrig, H.-J. Kreowski: Parallelism of Manipulations in Multidimensional Information Structures. Proc. MFCS'76, Lect. Not. Comp. Sci. 45, 284\u2013293 (1976).","journal-title":"Lect. Not. Comp. Sci."},{"key":"5_CR4","volume-title":"Fundamentals of Algebraic Specifications. Part I: Initial Semantics","author":"H. Ehrig","year":"1986","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications. Part I: Initial Semantics. Springer, Monographs in Computer Science, New York-Berlin-Heidelberg (1986)."},{"key":"5_CR5","series-title":"Research Report","volume-title":"Commutativity of Independent Transformations on Complex Objects","author":"H. Ehrig","year":"1976","unstructured":"H. Ehrig, B.K. Rosen: Commutativity of Independent Transformations on Complex Objects. Research Report RC 6251. IBM T.J. Watson Research Center, Yorktown Heights (1976)."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"G. Huet, D.C. Oppen: Equations and Rewrite Rules, A Survey. In R.V. Book (ed.): Formal Language Theory: Perspectives and Open Problems. Academic Press, 349\u2013405 (1980).","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"5_CR7","first-page":"142","volume":"32","author":"J. W. Klop","year":"1987","unstructured":"J.W. Klop: Term Rewriting Systems. A Tutorial. EATCS Bulletin 32, 142\u2013182 (1987).","journal-title":"EATCS Bulletin"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/3-540-18771-5_63","volume":"291","author":"H.-J. Kreowski","year":"1987","unstructured":"H.-J. Kreowski: Is Parallelism Already Concurrency? \u2014 Part 1: Derivations in Graph Grammars. Proc. 3rd Graph Grammar Workshop, Lect. Not. Comp. Sci. 291, 343\u2013360 (1987).","journal-title":"Lect. Not. Comp. Sci."},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(82)90056-1","volume":"19","author":"P. Padawitz","year":"1982","unstructured":"P. Padawitz: Graph Grammars and Operational Semantics. Theor. Comp. Sci. 19, 117\u2013141 (1982).","journal-title":"Theor. Comp. Sci."},{"key":"5_CR10","unstructured":"D. Plump: Im Dschungel: Ein neuer Graph-Grammatik-Ansatz zur effizienten Auswertung rekursiv definierter Funktionen. Diplomarbeit, Studiengang Informatik, Universit\u00e4t Bremen (1986)."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0304-3975(80)90013-4","volume":"10","author":"J. Staples","year":"1980","unstructured":"J. Staples: Computation on Graph-like Expressions. Theor. Comp. Sci. 10, 171\u2013185 (1980).","journal-title":"Theor. Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50325-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:45Z","timestamp":1619556885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50325-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503255","9783540459705"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-50325-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}