{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:16Z","timestamp":1725662896667},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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_208","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:55:07Z","timestamp":1330167307000},"page":"273-279","source":"Crossref","is-referenced-by-count":1,"title":["Decision algorithms for Havel's branching automata"],"prefix":"10.1007","author":[{"given":"Marek","family":"Karpi\u0144ski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"31_CR1","first-page":"1","volume-title":"On a decision method in restricted second order arithmetic","author":"J. R. B\u00fcchi","year":"1962","unstructured":"J.R. B\u00fcchi, On a decision method in restricted second order arithmetic, Proc. Internat. Congr. Logic, Method. and Philos. Sci. 1960, Stanford Univ. Press, Stanford, California, 1962, pp. 1\u201311."},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1090\/S0002-9904-1965-11384-2","volume":"71","author":"J. R. B\u00fcchi","year":"1965","unstructured":"J.R. B\u00fcchi, Decision methods in the theory of ordinals, Bull. Amer. Math. Soc. 71 (1965), 767\u2013770.","journal-title":"Bull. Amer. Math. Soc."},{"key":"31_CR3","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","volume":"9","author":"R. McNaughton","year":"1966","unstructured":"R. McNaughton, Testing and generating infinite sequences by a finite automaton, Information and Control 9 (1966), 521\u2013530.","journal-title":"Information and Control"},{"key":"31_CR4","first-page":"281","volume":"10","author":"I. M. Havel","year":"1974","unstructured":"I.M. Havel, Finite branching automata, Kybernetika, 10 (1974), 281\u2013302; see SIGACT News, 23 (1974), 18.","journal-title":"Kybernetika"},{"key":"31_CR5","first-page":"53","volume-title":"Finite branching automata: Automata theory motivated by problem solving","author":"I. M. Havel","year":"1975","unstructured":"I.M. Havel, Finite branching automata: Automata theory motivated by problem solving, Proc. Third Symp. Math. Found. Comput. Sci., 1974, Springer-Verlag, Berlin, 1975, pp. 53\u201361."},{"key":"31_CR6","unstructured":"M. Karpi\u0144ski, Almost deterministic \u03c9-automata with existential output condition, Proc. Amer. Math. Soc, to appear shortly."},{"key":"31_CR7","unstructured":"M. Karpi\u0144ski, New proofs of Rabin's emptiness theorems on infinite tree automata, to appear."},{"key":"31_CR8","volume-title":"Problem solving methods in artificial intelligence","author":"N. J. Nilsson","year":"1971","unstructured":"N.J. Nilsson, Problem solving methods in artificial intelligence, McGraw-Hill, New York, 1971."},{"key":"31_CR9","first-page":"1","volume":"141","author":"M. O. Rabin","year":"1969","unstructured":"M.O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc. 141 (1969), 1\u201335.","journal-title":"Trans. Amer. Math. Soc."},{"key":"31_CR10","first-page":"1","volume":"13","author":"M. O. Rabin","year":"1972","unstructured":"M.O. Rabin, Automata on infinite objects and Church's problem, Reg. Conf. Ser. Math., Amer. Math. Soc. 13 (1972), 1\u201322.","journal-title":"Reg. Conf. Ser. Math., Amer. Math. Soc."}],"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_208.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:46:04Z","timestamp":1619541964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_208"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_208","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}