{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:32Z","timestamp":1742617172999,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581406"},{"type":"electronic","value":"9783540484424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58140-5_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:19:15Z","timestamp":1330269555000},"page":"204-217","source":"Crossref","is-referenced-by-count":0,"title":["The notion of rank and games"],"prefix":"10.1007","author":[{"given":"Bakhadyr","family":"Khoussainov","sequence":"first","affiliation":[]},{"given":"Anil","family":"Nerode","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"21_CR1","unstructured":"R. Buchi, The Monadic Theory of \u03c91, in: Decidable Theories II, Lecture Notes in Mathematics, 328, 1\u2013127."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and L. Harrington, Trees, Automata and Games, Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982, 60\u201365.","DOI":"10.1145\/800070.802177"},{"key":"21_CR3","unstructured":"B. Khoussainov, A, Yakhnis, Games with Unknown Finite Past and Monadic Theories, Annals of Pure and Applied Logic, submitted."},{"key":"21_CR4","unstructured":"D. Monk, The Gurevich-Harrington Proof of Rabin's Theorem, manuscript, Fall 1984, pp. 1\u201348."},{"issue":"N2","key":"21_CR5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0168-0072(93)90036-D","volume":"65","author":"R. McNaughton","year":"1993","unstructured":"R. McNaughton, Infinite Games Played on Finite Graphs, Annals of Pure and Applied Logic, v.65, N2, 1993, p.149\u2013184.","journal-title":"Annals of Pure and Applied Logic"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0304-3975(85)90087-8","volume":"37","author":"D. Muller","year":"1985","unstructured":"D. Muller and P. Shupp, The Theory of Ends, Pushdown Automata, and Second order Logic, Theoretical Comp. Sc., Vol. 37, 1985, 51\u201375.","journal-title":"Theoretical Comp. Sc."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, V. Yakhnis, Concurrent Programs as Strategies in Games, in Logic from Computer Science, Springer-Verlag, 1992, 405\u2013479.","DOI":"10.1007\/978-1-4612-2822-6_17"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, Modelling Hybrid Systems as Games, 31st IEEE Conference on decision and Control (CDC92), 1992, 2947\u20132952.","DOI":"10.1109\/CDC.1992.371272"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, V. Yakhnis, Distributed Concurrent Programs as Strategies in Games, to appear in Logical Methods: A Symposium in honor of Prof. Anil Nerode's 60th birthday, Birkhauser, 1993.","DOI":"10.1007\/978-1-4612-0325-4_21"},{"key":"21_CR10","first-page":"1","volume":"141","author":"M. Rabin","year":"1969","unstructured":"M. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. of American Math. Soc, 141, 1969, 1\u201335.","journal-title":"Trans. of American Math. Soc"},{"key":"21_CR11","first-page":"1","volume-title":"Mathematical Logic and Foundations of Set Theory","author":"M. Rabin","year":"1970","unstructured":"M. Rabin, Weakly definable Relations and Special Automata, Mathematical Logic and Foundations of Set Theory, North-Holland, Amsterdam, 1970, 1\u201323."},{"key":"21_CR12","unstructured":"H. Rogers, Theory of Recursive Function and Effective Computability, New York, 1967."},{"key":"21_CR13","first-page":"1","volume-title":"Ann. of Math.","author":"J. Stupp","year":"1975","unstructured":"J. Stupp, The Lattice Model is Recursive in the Original Model, Ann. of Math. manuscript, The Hebrew University, Jerusalem, 1975, 1\u201325."},{"key":"21_CR14","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"J. Thatcher","year":"1968","unstructured":"J. Thatcher and J. Wright, Generalized Finite Automata with an Application to a Decision problem of second Order Logic, Math. Systems Theory, 2, 1968, 57\u201382.","journal-title":"Math. Systems Theory"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"W. Thomas, Automata on Infinite Objects, in Handbook of Theoretical Computer Science, Volume B, J. van Leeuwen editor, The MIT Press\/Elsevier, 1990, 133\u2013192.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"21_CR16","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-1987-10406","volume":"10","author":"K. Wisniewsky","year":"1987","unstructured":"K. Wisniewsky, A Generalization of Finite Automata, Fund. Informatika, 10, 1987, 415\u2013436.","journal-title":"Fund. Informatika"},{"key":"21_CR17","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0168-0072(90)90024-V","volume":"48","author":"A. Yakhnis","year":"1990","unstructured":"A. Yakhnis, V. Yakhnis, Extension of Gurevich-Harrington's Restricted Memory Determinacy Theorem: a Criterion for the Winning Player and an explicit Class of Winning Strategies, Annals of Pure and Applied Logic, 48, 1990, 277\u2013297.","journal-title":"Annals of Pure and Applied Logic"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"A. Yakhnis, V. Yakhnis, Gurevich-Harrington's Games Defined by Finite Automata, Annals of Pure and Applied Logic, 61, 1993.","DOI":"10.1016\/0168-0072(93)90239-A"},{"key":"21_CR19","unstructured":"S. Zeitman, Unforgettable Forgetful Determinacy, to appear in Journal of Logic and Computation."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58140-5_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:20:23Z","timestamp":1742595623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58140-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581406","9783540484424"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58140-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}