{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T19:58:21Z","timestamp":1694635101867},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1996,8]]},"DOI":"10.1007\/bf03036461","type":"journal-article","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T07:07:20Z","timestamp":1238828840000},"page":"523-546","source":"Crossref","is-referenced-by-count":0,"title":["A kernel language for programmed rewriting of (hyper)graphs"],"prefix":"10.1007","volume":"33","author":[{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f3zef","family":"Winkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03036461_CR1","doi-asserted-by":"crossref","unstructured":"Bunke, H.: Programmed Graph Grammars, in [CER 79], pp. 155\u2013166","DOI":"10.1007\/BFb0025718"},{"key":"BF03036461_CR2","doi-asserted-by":"crossref","unstructured":"Claus, V., Ehrig, H., Rozenberg, G. (eds.): Proceedings of the 1st International Workshop on Graph-Grammars and Their Application to Computer Science and Biology, Springer LNCS 73, 1979.","DOI":"10.1007\/BFb0025713"},{"key":"BF03036461_CR3","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., L\u00f6we, M.: Logic Programming and Graph Grammars, in [EKR 91], pp.221\u2013237."},{"key":"BF03036461_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0304-3975(93)90063-Y","volume":"109","author":"A. Corradini","year":"1993","unstructured":"Corradini, A., Rossi, F.: Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Logic Programming, Theoretical Computer Science 109 (1993) pp. 7\u201348.","journal-title":"Theoretical Computer Science"},{"key":"BF03036461_CR5","doi-asserted-by":"crossref","unstructured":"Corradini, A., Rossi, F., Parisi-Presicce, F.: Logic Programming as Hypergraph Rewriting, in the Proceedings of CAAP\u201991, Springer LNCS 493, 1991. pp.275\u2013295.","DOI":"10.1007\/3-540-53982-4_16"},{"key":"BF03036461_CR6","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01752403","volume":"14","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B.K., Winkowski, J.: Transformations of Structures: An Algebraic Approach, Math. Systems Theory 14 (1981) pp. 305\u2013334.","journal-title":"Math. Systems Theory"},{"key":"BF03036461_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.): Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science, Springer LNCS 532, 1991.","DOI":"10.1007\/BFb0017372"},{"key":"BF03036461_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Nagl, M., Rozenberg, G. (eds.): Proceedings of the 2nd Workshop on Graph-Grammars and Their Application to Computer Science, Springer LNCS 153, 1983.","DOI":"10.1007\/BFb0000094"},{"key":"BF03036461_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Nagl, M, Rozenberg, G., Rosenfeld, A. (eds.): Proceedings of the 3rd Workshop on Graph-Grammars and Their Application to Computer Science, Springer LNCS 291, 1987.","DOI":"10.1007\/3-540-18771-5"},{"key":"BF03036461_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, H., Schneider, H. J.: Graph Grammars: An Algebraic Approach, Proc. of the IEEE Conf. on Automata and Switching Theory, Iowa City 1973, pp.167\u2013180.","DOI":"10.1109\/SWAT.1973.11"},{"key":"BF03036461_CR11","doi-asserted-by":"crossref","unstructured":"Janssens, D., Rozenberg, G.: Structured Transformations and Computation Graphs for Actor Grammars, in [EKR 91], pp.446\u2013460.","DOI":"10.1007\/BFb0017405"},{"key":"BF03036461_CR12","unstructured":"Maggiolo-Schettini, A., Winkowski, J.: Towards a Programming Language for Manipulating Relational Data Bases, in: Bjorner, D., (Ed.), Formal Description of Programming Concepts II, North-Holland, 1983, pp.265\u2013278."},{"key":"BF03036461_CR13","doi-asserted-by":"crossref","unstructured":"Maggiolo-Schettini, A., Winkowski, J.: Programmed Derivations of Relational Structures, in [EKR 91], pp.582\u2013598.","DOI":"10.1007\/BFb0017414"},{"key":"BF03036461_CR14","first-page":"221","volume":"581","author":"A. Maggiolo-Schettini","year":"1992","unstructured":"Maggiolo-Schettini, A., Winkowski, J.: A Programming Language for Deriving Hypergraphs, in Springer LNCS 581, 1992, pp. 221\u2013231.","journal-title":"Springer LNCS"},{"key":"BF03036461_CR15","unstructured":"Maggiolo-Schettini, A., Winkowski, J.: A Formalism for Programmed Rewriting of Hypergraphs, Report 745 of the Institute of Computer Science, Warsaw, 1994."},{"key":"BF03036461_CR16","unstructured":"Nagl, M.: A Programming Language for Handling Dynamic Problems on Graphs, in Pape, U. (ed.): Discrete Structures and Algorithms, Proc. of WG\u201979 5th Workshop on Graphtheoretic Concepts in Computer Science, Hanser Verlag, 1979."},{"key":"BF03036461_CR17","volume-title":"Technical Report","author":"G. Plotkin","year":"1981","unstructured":"Plotkin, G.: A Structural Approach to Operational Semantics, Technical Report, Computer Sc. Dept., Aarhus Univ., Denmark, DAIMI-FN-19, 1981."},{"key":"BF03036461_CR18","doi-asserted-by":"crossref","unstructured":"Plump, D.: Graph-Reducible Term Rewriting Systems, in [EKR 91], pp.622\u2013636.","DOI":"10.1007\/BFb0017417"},{"key":"BF03036461_CR19","first-page":"641","volume":"532","author":"A. Sch\u00fcrr","year":"1991","unstructured":"Sch\u00fcrr, A.: PROGRESS: A VHL-Language Based on Graph Grammars, Springer LNCS 532, pp. 641\u2013659, 1991","journal-title":"Springer LNCS"},{"key":"BF03036461_CR20","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E.: The Family of Concurrent Logic Programming Languages, ACM Computing Surveys, 21, 1989, pp. 413\u2013510.","journal-title":"ACM Computing Surveys"},{"key":"BF03036461_CR21","first-page":"48","volume":"570","author":"A. Z\u00fcndorf","year":"1992","unstructured":"Z\u00fcndorf, A., Sch\u00fcrr, A.: Nondeterministic Control Structures for Graph Rewriting Systems, Springer LNCS 570, pp. 48\u201362, 1992.","journal-title":"Springer LNCS"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03036461.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF03036461\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03036461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03036461.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T21:11:01Z","timestamp":1652735461000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF03036461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,8]]},"references-count":21,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1996,8]]}},"alternative-id":["BF03036461"],"URL":"https:\/\/doi.org\/10.1007\/bf03036461","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,8]]}}}