{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:31Z","timestamp":1761597331006},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:30:10Z","timestamp":1330173010000},"page":"130-136","source":"Crossref","is-referenced-by-count":4,"title":["An axiomatization of regular forests in the language of algebraic theories with iteration"],"prefix":"10.1007","author":[{"given":"Z.","family":"\u00c9sik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,28]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1016\/S0019-9958(68)90917-0","volume":"13","author":"W. S. Brainerd","year":"1968","unstructured":"Brainerd, W. S., The minimalization of tree automata, Information and Control 13 (1968), 484\u2013491.","journal-title":"Information and Control"},{"key":"13_CR2","first-page":"362","volume":"16","author":"C. C. Elgot","year":"1978","unstructured":"Elgot, C. C., S. L. Bloom, R. Tindell, On the algebraic structure of rooted trees, JCSS 16 (1978), 362\u2013399.","journal-title":"JCSS"},{"key":"13_CR3","unstructured":"\u00c9sik, Z., Identities in iterative and rational algebraic theories, Computational Linguistics and Computer Languages, to appear."},{"key":"13_CR4","unstructured":"\u00c9sik, Z., On generalized iterative algebraic theories, Computational Linguistics and Computer Languages, submitted for publication."},{"key":"13_CR5","unstructured":"Ito, T. and S. Ando, A complete axiom system of superregular expressions, Proc. IFIP Congress 74, 661\u2013665."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/321312.321326","volume":"13","author":"A. Salomaa","year":"1966","unstructured":"Salomaa, A., Two complete axiom systems for the algebra of regular events, JACM 13 (1966), 158\u2013169.","journal-title":"JACM"},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"J. W. Thatcher","year":"1968","unstructured":"Thatcher, J. W. and B. Wright, Generalized finite automata theory with an application to a decision problem of second-order logic, Math. Syst. Theory 2 (1968), 57\u201381.","journal-title":"Math. Syst. Theory"},{"key":"13_CR8","first-page":"151","volume":"45","author":"E. G. Wagner","year":"1976","unstructured":"Wagner, E. G., J. B. Wright, J. A. Goguen and J. W. Thatcher, Some fundamentals of order-algebraic semantics, Lecture Notes in Computer Science 45 (1976), 151\u2013168.","journal-title":"Lecture Notes in Computer Science"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Wright, J. B., J. W. Thatcher, E. G. Wagner and J. A. Gouen, Rational Algebraic theories and fixed-point solutions, Proc. 17th IEEE Symp. on Foundations of Computing, Houston, 1976, 147\u2013158.","DOI":"10.1109\/SFCS.1976.24"}],"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_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:39:43Z","timestamp":1619541583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10854-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108542","9783540387657"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-10854-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}