{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:14:47Z","timestamp":1759637687372},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108542"},{"type":"electronic","value":"9783540387657"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10854-8_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:31:43Z","timestamp":1330191103000},"page":"51-60","source":"Crossref","is-referenced-by-count":2,"title":["An algebraic definition of attributed transformations"],"prefix":"10.1007","author":[{"given":"Mikl\u00f3s","family":"Bartha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,28]]},"reference":[{"key":"5_CR1","volume-title":"Theorie des magmoides, Preliminary work to the authors' theses","author":"A. Arnold","year":"1977","unstructured":"Arnold, A., Dauchet, M., Theorie des magmoides, Preliminary work to the authors' theses, Univ. de Lille, France, 1977."},{"key":"5_CR2","volume-title":"Transductions de forets, bimorphismes de magmoides, These","author":"M. Dauchet","year":"1977","unstructured":"Dauchet, M., Transductions de forets, bimorphismes de magmoides, These, Univ. de Lille, France, 1977."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Wright, J.B., Thatcher, J.W., Wagner, E.G., Goguen, J.A., Rational algebraic theories and fixed-point solutions, 17-th IEEE Symposium on Foundations of Computing, Houston, 1976, pp. 147\u2013158.","DOI":"10.1109\/SFCS.1976.24"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01744285","volume":"13","author":"L.M. Chirica","year":"1979","unstructured":"Chirica, L.M., Martin, D.F., An order-algebraic Definition of Knuthian Semantics, Math. Systems Theory, v. 13, 1979, pp. 1\u201327.","journal-title":"Math. Systems Theory"},{"key":"5_CR5","volume-title":"k-Visit attribute grammars, DAIMI PB-121","author":"H. Riis","year":"1980","unstructured":"Riis, H., Skyum, S., k-Visit attribute grammars, DAIMI PB-121, Aarhus University, Denmark, 1980."},{"key":"5_CR6","unstructured":"F\u00fcl\u00f6p, Z., Attribute grammars and attributed tree transducers, 15-th National Scientific Conference for Students, Budapest, Hungary, 1981."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10854-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:39:52Z","timestamp":1619555992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10854-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108542","9783540387657"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-10854-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}