{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T15:28:07Z","timestamp":1744903687026},"publisher-location":"Berlin, Heidelberg","reference-count":6,"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_190","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:53:59Z","timestamp":1330167239000},"page":"160-166","source":"Crossref","is-referenced-by-count":9,"title":["Automata and categories: Finiteness contra minimality"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"Ad\u00e1mek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"13_CR1","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":"13_CR2","first-page":"589","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), 589\u2013602.","journal-title":"Comment.Math.Univ.Carolinae"},{"key":"13_CR3","unstructured":"Ad\u00e1mek, J., Realization theory for automata in categories. To appear."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Koubek, V. and Reiterman, J., Automata and categories: input processes. This volume, pp. 280\u2013286.","DOI":"10.1007\/3-540-07389-2_209"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Trnkov\u00e1, V., Automata in categories. This volume, pp. 138\u2013152.","DOI":"10.1007\/3-540-07389-2_188"},{"key":"13_CR6","first-page":"555","volume":"15","author":"V. Trnkov\u00e1","year":"1974","unstructured":"Trnkov\u00e1, V., On minimal realizations of behavior maps in categorial automata theory. Comment.Math.Univ.Carolinae 15(1974), 555\u2013566.","journal-title":"Comment.Math.Univ.Carolinae"}],"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_190.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:57:21Z","timestamp":1605625041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_190"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_190","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}