{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:17Z","timestamp":1761611117987,"version":"3.30.2"},"reference-count":15,"publisher":"EDP Sciences","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1051\/ita:1999129","type":"journal-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T15:07:32Z","timestamp":1068822452000},"page":"495-505","source":"Crossref","is-referenced-by-count":17,"title":["Computing the Rabin Index of a Parity Automaton"],"prefix":"10.1051","volume":"33","author":[{"given":"Olivier","family":"Carton","sequence":"first","affiliation":[]},{"given":"Ram\u00f3n","family":"Maceiras","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2002,8,15]]},"reference":[{"key":"R1","unstructured":"J.R. B\u00fcchi, On a decision method in the restricted second-order arithmetic, inProc. Int. Congress Logic, Methodology and Philosophy of science, Berkeley 1960, Stanford University Press (1962) 1-11."},{"key":"R2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0304-3975(95)00103-4","volume":"161","author":"Carton","year":"1996","journal-title":"Theoret. Comput. Sci."},{"key":"R3","doi-asserted-by":"crossref","unstructured":"E.A. Emerson and C.S. Jutla, Tree automata, Mu-calculus and determinacy, inProc. 32th Symp. on Foundations of Computer Science(1991) 368-377.","DOI":"10.1109\/SFCS.1991.185392"},{"key":"R4","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/3-540-59042-0_69","volume":"900","author":"Krishnan","year":"1995","journal-title":"Lectures Notes in Comput. Sci."},{"key":"R5","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","volume":"9","author":"McNaughton","year":"1966","journal-title":"Inform. Control"},{"key":"R6","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/3-540-16066-3_15","volume":"208","author":"Mostowski Regular","year":"1984","journal-title":"Lectures Notes in Comput. Sci."},{"key":"R7","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0304-3975(91)90283-8","volume":"83","author":"Mostowski","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"R8","doi-asserted-by":"crossref","unstructured":"D. Muller, Infinite sequences and finite machines, inSwitching Theory and Logical Design, P. of Fourth Annual IEEE Symp., Ed. (1963) 3-16.","DOI":"10.1109\/SWCT.1963.8"},{"key":"R9","first-page":"1","volume":"141","author":"Rabin","year":"1969","journal-title":"Trans. Amer. Math. Soc."},{"key":"R10","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"Tarjan","year":"1972","journal-title":"SIAM J. Comput."},{"key":"R11","doi-asserted-by":"crossref","unstructured":"W. Thomas, Automata on infinite objects, inHandbook of Theoretical Computer Science, J. van Leeuwen, Ed.,B(Elsevier, 1990) Chapter 4, pp. 133-191.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"R12","first-page":"505","volume":"13","author":"Wagner","year":"1977","journal-title":"Elektron. Informationsverarb. Kybernet."},{"key":"R13","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0019-9958(79)90653-3","volume":"43","author":"Wagner","year":"1979","journal-title":"Inform. Control"},{"key":"R14","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/3-540-59293-8_202","volume":"915","author":"Wilke","year":"1995","journal-title":"Lectures Notes in Comput. Sci."},{"key":"R15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1006\/inco.1996.0082","volume":"130","author":"Wilke","year":"1996","journal-title":"Inform. Comput."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:1999129\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T10:59:46Z","timestamp":1734173986000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:1999129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":15,"journal-issue":{"issue":"6"},"alternative-id":["ita9923"],"URL":"https:\/\/doi.org\/10.1051\/ita:1999129","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"type":"print","value":"0988-3754"},{"type":"electronic","value":"1290-385X"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}