{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:15Z","timestamp":1725662895654},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540073895"},{"type":"electronic","value":"9783540375852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07389-2_209","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:55:02Z","timestamp":1330185302000},"page":"280-286","source":"Crossref","is-referenced-by-count":7,"title":["Automata and categories \u2014 Input processes"],"prefix":"10.1007","author":[{"given":"V\u00e1clav","family":"Koubek","sequence":"first","affiliation":[]},{"given":"Jan","family":"Reiterman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"32_CR1","first-page":"582","volume":"15","author":"J. Ad\u00e1mek","year":"1974","unstructured":"Ad\u00e1mek, J., Free algebras and automata realizations in the language of categories, Comment. Math. Univ. Carolinae 15 (1974), 582\u2013602.","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"32_CR2","unstructured":"Ad\u00e1mek, J., Automaty v teorii kategori\u00ed \u2014 thesis 1975"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Automata and categories: Finitness contra minimality, this volume, pp. 160\u2013166.","DOI":"10.1007\/3-540-07389-2_190"},{"key":"32_CR4","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1137\/1016026","volume":"16","author":"M. A. Arbib","year":"1974","unstructured":"Arbib, M.A. and Manes, E.G, Machines in a category: an expository introduction. SIAM Review 16 (1974), 163\u2013192.","journal-title":"SIAM Review"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BF01111838","volume":"116","author":"M. Barr","year":"1970","unstructured":"Barr, M., Coequalizers and free triples, Math. Z. 116 (1970), 307\u2013322.","journal-title":"Math. Z."},{"key":"32_CR6","first-page":"577","volume":"15","author":"V. K\u016frkov\u00e1-Pohlov\u00e1","year":"1974","unstructured":"K\u016frkov\u00e1-Pohlov\u00e1, V. and Koubek, V., When a generalized algebraic category is monadic, Comment. Math. Univ. Carolinae 15 (1974), 577\u2013587.","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"32_CR7","first-page":"339","volume":"16","author":"V. Trnkov\u00e1","year":"1975","unstructured":"Trnkov\u00e1, V., Ad\u00e1mek, J. Koubek, V. and Reiterman, J., Free algebras, input process and free monads, Comment. Math. Univ. Carolinae 16 (1975), 339\u2013352.","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Trnkov\u00e1, V., Automata and categories, this volume, pp. 138\u2013152.","DOI":"10.1007\/3-540-07389-2_188"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07389-2_209.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:57:25Z","timestamp":1605643045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_209"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_209","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}