{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T05:32:07Z","timestamp":1740634327299,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672036"},{"type":"electronic","value":"9783540464648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-46464-8_19","type":"book-chapter","created":{"date-parts":[[2010,10,20]],"date-time":"2010-10-20T13:43:10Z","timestamp":1287582190000},"page":"267-280","source":"Crossref","is-referenced-by-count":2,"title":["From Formulae to Rewriting Systems"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Simeoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Bottoni, P., Costabile, M.F., Levialdi, S., Mussio, P.: Visual Conditional Attributed Rewriting Systems in Visual Language Specification. In: Proc. IEEE Symp. on Visual Languages 1996, pp. 156\u2013163 (1996)","DOI":"10.1109\/VL.1996.545282"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1006\/jvlc.1998.0095","volume":"9","author":"P. Bottoni","year":"1998","unstructured":"Bottoni, P., Costabile, M.F., Levialdi, S., Mussio, P.: Specifying dialog control in Visual Interactive Systems. Journal of Visual Languages and Computing\u00a09, 535\u2013564 (1998)","journal-title":"Journal of Visual Languages and Computing"},{"key":"19_CR3","unstructured":"Bottoni, P., Costabile, M.F., Mussio, P.: Specification and Dialogue Control of Visual Interaction through Visual Rewriting Systems. To appear in ACM TOPLAS"},{"key":"19_CR4","unstructured":"Chok, S.S., Marriott, K.: Automatic Construction of User Interfaces from Constraint Multiset Grammars. In: Proc. IEEE VL 1995, pp. 242\u2013249 (1995)"},{"key":"19_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. Springer, Heidelberg (1985)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/BFb0055805","volume-title":"Mathematical Foundations of Computer Science 1998","author":"M. Gro\u00dfe\u2013Rhode","year":"1998","unstructured":"Gro\u00dfe\u2013Rhode, M., Parisi\u2013Presicce, F., Simeoni, M.: Spatial and temporal refinement of typed graph transformation systems. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, p. 553. Springer, Heidelberg (1998)"},{"key":"19_CR7","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.: Graphgram mars with negative application conditions. Fundamenta Informaticae\u00a026, 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S1045-926X(05)80002-3","volume":"2","author":"R. Helm","year":"1991","unstructured":"Helm, R., Marriott, K.: A Declarative Specification and Semantics for Visual Languages. Journal of Visual Languages and Computing\u00a02, 311\u2013332 (1991)","journal-title":"Journal of Visual Languages and Computing"},{"key":"19_CR9","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. Wiley, Chichester (1993)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Minas, M., Viehstaedt, G.: DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams. In: Proc. IEEE Symp. on Visual Languages 1995, pp. 203\u2013210 (1995)","DOI":"10.1109\/VL.1995.520810"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1006\/jvlc.1997.0053","volume":"8","author":"K. Marriott","year":"1997","unstructured":"Marriott, K., Meyer, B.: Classification of visual languages. Journal of Visual Languages and Computing\u00a08, 375\u2013402 (1997)","journal-title":"Journal of Visual Languages and Computing"},{"key":"19_CR12","volume-title":"Formal languages","author":"A. Salomaa","year":"1973","unstructured":"Salomaa, A.: Formal languages. Academic Press, London (1973)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Serrano, J.A.: The Use of Semantic Constraints on Diagram Editors. In: Proc. IEEE VL 1995, pp. 211\u2013216 (1995)","DOI":"10.1109\/VL.1995.520811"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Transformations in Computer Science","author":"G. Taentzer","year":"1994","unstructured":"Taentzer, G., Beyer, M.: Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol.\u00a0776. Springer, Heidelberg (1994)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Wittenburg, K., Weitzmann, L.: Visual grammars and incremental parsing for interface languages. In: Proc. IEEE VL 1990, pp. 111\u2013118 (1990)","DOI":"10.1109\/WVL.1990.128391"}],"container-title":["Lecture Notes in Computer Science","Theory and Application of Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-46464-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T22:16:53Z","timestamp":1740608213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-46464-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672036","9783540464648"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-46464-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}