{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T00:28:03Z","timestamp":1649118483568},"reference-count":17,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.1051\/ita:2004005","type":"journal-article","created":{"date-parts":[[2004,3,5]],"date-time":"2004-03-05T09:01:26Z","timestamp":1078477286000},"page":"3-17","source":"Crossref","is-referenced-by-count":7,"title":["Axiomatizing omega and omega-op powers of words"],"prefix":"10.1051","volume":"38","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[]},{"given":"Zolt\u00e1n","family":"\u00c9sik","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2004,3,15]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0304-3975(95)00006-2","volume":"156","author":"Bedon","year":"1996","journal-title":"Theoret. Comput. Sci."},{"key":"R2","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BFb0054310","volume":"1380","author":"Bedon","year":"1998","journal-title":"Lect. Notes Comput. Sci."},{"key":"R3","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1016\/S0304-3975(00)00040-2","volume":"259","author":"Bloom","year":"2001","journal-title":"Theoret. Comput. Sci."},{"key":"R4","doi-asserted-by":"crossref","unstructured":"S.L. Bloom and Z. \u00c9sikn,Iteration Theories.Springer (1993).","DOI":"10.1007\/978-3-642-78034-9"},{"key":"R5","first-page":"1","volume":"55","author":"Bloom","year":"2003","journal-title":"Fundamenta Informaticae"},{"key":"R6","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/3-540-44683-4_21","volume":"2136","author":"Bruy\u00e8re","year":"2001","journal-title":"Lect. Notes Comput. Sci."},{"key":"R7","doi-asserted-by":"crossref","unstructured":"V. Bruy\u00e8re and O. Carton, Hierarchy among automata on linear orderings, inFoundation of Information Technology in the Era of Network and Mobile Computing, Proc. TCS 2002. Kluwer Academic Publishers (2002) 107-118.","DOI":"10.1007\/978-0-387-35608-2_10"},{"key":"R8","unstructured":"J.R. B\u00fcchi, On a decision method in restricted second-order arithmetic, inInt. Congress Logic, Methodology, and Philosophy of Science, Berkeley, 1960. Stanford University Press (1962) 1-11."},{"key":"R9","unstructured":"J.R. B\u00fcchi, Transfinite automata recursions and weak second order theory of ordinals, inInt. Congress Logic, Methodology, and Philosophy of Science, Jerusalem, 1964. North Holland (1965) 2-23."},{"key":"R10","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0022-0000(78)90036-3","volume":"17","author":"Choueka","year":"1978","journal-title":"J. Comp. Syst. Sci."},{"key":"R11","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1051\/ro\/1978120303191","volume":"12","author":"Courcelle","year":"1978","journal-title":"RAIRO: Theoret. Informatics Appl.\/Theor. Comput. Sci."},{"key":"R12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0304-3975(97)00158-8","volume":"195","author":"\u00c9sik","year":"1998","journal-title":"Theoret. Comput. Sci."},{"key":"R13","first-page":"131","volume":"14","author":"Heilbrunner","year":"1980","journal-title":"RAIRO: Theoret. Informatics Appl."},{"key":"R14","unstructured":"J.B. Rosenstein,Linear Orderings. Academic Press, New York (1982)."},{"key":"R15","first-page":"371","volume":"20","author":"Thomas","year":"1986","journal-title":"RAIRO: Theoret. Informatics Appl."},{"key":"R16","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1142\/S0218196793000287","volume":"3","author":"Wilke","year":"1993","journal-title":"Int. J. Algebra Comput."},{"key":"R17","doi-asserted-by":"crossref","first-page":"379","DOI":"10.3233\/FI-1985-83-407","volume":"8","author":"Wojciechowski","year":"1985","journal-title":"Fundamenta Informaticae"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2004005\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,15]],"date-time":"2021-06-15T00:51:47Z","timestamp":1623718307000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2004005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":17,"journal-issue":{"issue":"1"},"alternative-id":["ita0312"],"URL":"https:\/\/doi.org\/10.1051\/ita:2004005","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,1]]}}}