{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:58Z","timestamp":1725662998902},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540071426"},{"type":"electronic","value":"9783540374268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07142-3_62","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:20:14Z","timestamp":1330183214000},"page":"65-72","source":"Crossref","is-referenced-by-count":2,"title":["Categorical theory of tree processing"],"prefix":"10.1007","author":[{"given":"Suad","family":"Alagi\u0107","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"4_CR1","unstructured":"S. Alagi\u0107, Natural State Transformations, COINS Technical Report 73B-2, University of Massachusetts at Amherst, 1973."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"M. A. Arbib and E. G. Manes, Machines in a Category, SIAM Review, April, 1974.","DOI":"10.1137\/1016026"},{"key":"4_CR3","unstructured":"M. A. Arbib and E. G. Manes, The Monoid of a Machine in a Category, to appear."},{"key":"4_CR4","unstructured":"M. A. Arbib and E. G. Manes, Adjoint Machines, State Behaviour Machines, and Duality, Technical Report '73B-1, February, 1973, Computer and Information Science, University of Massachusetts, Amherst; to appear in J. Pure Appl. Alg."},{"key":"4_CR5","unstructured":"M. A. Arbib and E. G. Manes, Kleisli Machines, to appear."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"B. S. Baker, Tree Transductions and Families of Tree Languages, Proceedings of Fifth Annual ACM symposium on theory of computing, May., 1973.","DOI":"10.1145\/800125.804051"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BF01111838","volume":"116","author":"M. Barr","year":"1970","unstructured":"M. Barr, Coequalizers and Free Triples, Math. Z., 116 (1970), 307\u2013322.","journal-title":"Math. Z."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"J. Beck, Distributive Laws, Lecture Notes in Mathematics, Vol. 80, Springer-Verlag.","DOI":"10.1007\/BFb0083084"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"E. J. Dubuc, Kan Extensions in Enriched Category Theory, Lecture Notes in Mathematics, Vol. 145, Springer-Verlag, 1970.","DOI":"10.1007\/BFb0060485"},{"key":"4_CR10","volume-title":"Bottomup and Topdown Treetransformations: A Comparison","author":"J. Engelfriet","year":"1971","unstructured":"J. Engelfriet, Bottomup and Topdown Treetransformations: A Comparison, Memorandum No. 19, July, 1971, Techniche Hogeschool Twente, Netherlands."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"S. Eilenberg and J. B. Wright, Automata in General Algebras, Information and Control, 11 (1967).","DOI":"10.1016\/S0019-9958(67)90670-5"},{"key":"4_CR12","volume-title":"The Mathematical Theory of Context-Free Languages","author":"S. Ginsburg","year":"1966","unstructured":"S. Ginsburg, The Mathematical Theory of Context-Free Languages, McGraw-Hill, New York, 1966."},{"key":"4_CR13","unstructured":"G. Gr\u00e4tzer, Universal Algebra, D. Van Nostrand, Princeton, 1968."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"H. Kleisli, Every Standard Construction is Induced by a Pair of Adjoint Functors, Proc. Am. Math. Society, 16 (1965).","DOI":"10.1090\/S0002-9939-1965-0177024-4"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, 1972.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"4_CR16","unstructured":"E. G. Manes, A Triple Miscellany: Some Aspects of the Theory of Algebras Over a Triple, Thesis, Wesleyan University, 1967."},{"key":"4_CR17","unstructured":"E. G. Manes, Algebraic Theories, Springer-Verlag, to appear."},{"key":"4_CR18","volume-title":"Induced Functors on Categories of Algebras","author":"J. P. Meyer","year":"1972","unstructured":"J. P. Meyer, Induced Functors on Categories of Algebras, The John Hopkins University, Baltimore, 1972, preprint."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"J. Mezei and J. B. Wright, Generalized Algol-Like Languages, Information and Control, 11 (1967).","DOI":"10.1016\/S0019-9958(67)90353-1"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"W. C. Rounds, Mappings and Grammars on Trees, Mathematical System Theory, 4 (1970).","DOI":"10.1007\/BF01695769"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"J. W. Thatcher, Characterizing Derivation Trees of Context-Free Grammars Through a Generalization of Finite Automata Theory, Journal of Computer and System Sciences, 1 (1967).","DOI":"10.1016\/S0022-0000(67)80022-9"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"J. W. Thatcher, Generalized 2 Sequential Machine Maps, Journal of Computer and System Sciences, 4 (1970).","DOI":"10.1016\/S0022-0000(70)80017-4"},{"key":"4_CR23","unstructured":"J. W. Thatcher, There's a Lot More to Finite Automata Theory Than You Would Have Thought, RC 2852, 1970, IBM, Yorktown Heights."}],"container-title":["Lecture Notes in Computer Science","Category Theory Applied to Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07142-3_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:51Z","timestamp":1605643011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07142-3_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540071426","9783540374268"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-07142-3_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}