{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T03:30:04Z","timestamp":1768275004591,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540592938","type":"print"},{"value":"9783540492337","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_202","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:11:06Z","timestamp":1330258266000},"page":"288-302","source":"Crossref","is-referenced-by-count":17,"title":["Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Wilke","sequence":"first","affiliation":[]},{"given":"Haiseung","family":"Yoo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"19_CR1","volume-title":"PhD thesis","author":"O. Carton","year":"1993","unstructured":"O. Carton. \u201cMots Infinis, \u03c9-Semigroupes et Topologie\u201d. PhD thesis, Universit\u00e9 Paris 7, France (1993)."},{"key":"19_CR2","unstructured":"D. E. Knuth. \u201cFundamental Algorithms\u201d, vol. 1. Addison-Wesley (1968). Second edition 1973."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"S. C. Krishnan, A. Puri, and R. K. Brayton. Structural complexity of \u03c9-automata. In \u201cSTACS 95: 12th Annual Symposium on Theoretical Aspects of Computer Science\u201d, M\u00fcnchen (1995), Lecture Notes in Computer Science. Springer-Verlag. To appear.","DOI":"10.1007\/3-540-59042-0_69"},{"key":"19_CR4","unstructured":"V. Selivanov. Fine hierarchy of regular \u03c9-languages. This volume."},{"issue":"2","key":"19_CR5","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. E. Tarjan","year":"1972","unstructured":"R. E. Tarjan. Depth first search and linear graphs. SIAM J. Comput. 1(2), 146\u2013160 (1972).","journal-title":"SIAM J. Comput."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, \u201cHandbook of Theoretical Computer Science\u201d, vol. B: Formal Methods and Semantics, pp. 134\u2013191. Elsevier Science Publishers B. V. (1990).","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"R. Van Wesep. Wadge degrees and descriptive set theory. In A. S. Kechris and Y. N. Moschovakis, editors, \u201cCabal Seminar 76\u201377\u201d, vol. 689 of \u201cLecture Notes in Mathematics\u201d, pp. 151\u2013170 (1978). Springer-Verlag.","DOI":"10.1007\/BFb0069298"},{"issue":"9","key":"19_CR8","first-page":"473","volume":"13","author":"K. W. Wagner","year":"1977","unstructured":"K. W. Wagner. Eine topologische Charakterisierung einiger Klassen regul\u00e4rer Folgenmengen. Elektron. Informationsverarb. Kybernet. 13(9), 473\u2013487 (1977).","journal-title":"Elektron. Informationsverarb. Kybernet"},{"issue":"2","key":"19_CR9","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0019-9958(79)90653-3","volume":"43","author":"K. W. Wagner","year":"1979","unstructured":"K. W. Wagner. On \u03c9-regular sets. Information and Control\n                43(2), 123\u2013177(1979).","journal-title":"Information and Control"},{"key":"19_CR10","volume-title":"Diploma thesis, Inst. f. Inform. u. Prakt. Math","author":"H. Yoo","year":"1994","unstructured":"H. Yoo. Ein effizienter Algorithmus zur Bestimmung des Rabin-Index in Muller-Automaten. Diploma thesis, Inst. f. Inform. u. Prakt. Math, CAU Kiel, Germany (1994). 59 pages."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_202.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:27:01Z","timestamp":1619558821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_202","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}