{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:38Z","timestamp":1725663218970},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156413"},{"type":"electronic","value":"9783540395058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15641-0_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:20:16Z","timestamp":1330176016000},"page":"81-88","source":"Crossref","is-referenced-by-count":0,"title":["Logical formulas and four subclasses of \u03c9-regular languages"],"prefix":"10.1007","author":[{"given":"K.","family":"Kobayashl","sequence":"first","affiliation":[]},{"given":"M.","family":"Takahashi","sequence":"additional","affiliation":[]},{"given":"H.","family":"Yamasaki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","volume-title":"On a decision method in restricted second-order arithmetic","author":"J. Buchi","year":"1960","unstructured":"J. Buchi, On a decision method in restricted second-order arithmetic, Int. Congress on Logic, Methodology and Philosophy, Stanford, Calif. (1960)."},{"key":"7_CR2","volume-title":"Automata, Languages, and Machines, Vol. A","author":"S. Ellenberg","year":"1974","unstructured":"S. Ellenberg, Automata, Languages, and Machines, Vol. A, Academic Press, New York (1974)."},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0304-3975(83)90027-0","volume":"28","author":"K. Kobayashi","year":"1984","unstructured":"K. Kobayashi, M. Takahashi, and H. Yamasaki, Characterization of \u03c9-regular languages by first-order formulas, Theoretical Computer Science 28 (1984) 315\u2013327.","journal-title":"Theoretical Computer Science"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/BF01691063","volume":"3","author":"L. Landweber","year":"1969","unstructured":"L. Landweber, Decisioon problems for \u03c9-automata, Mathematical Systems Theory 3 (1969) 376\u2013384.","journal-title":"Mathematical Systems Theory"},{"key":"7_CR5","first-page":"379","volume":"10","author":"L. Staiger","year":"1974","unstructured":"L. Staiger and K. Wagner, Automatatheoretische und automatenfreie Characterisierungen topologischer Klasses regularer Folgenmengen, EIK 10 (1974) 379\u2013392.","journal-title":"EIK"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(83)90057-9","volume":"23","author":"M. Takahashi","year":"1983","unstructured":"M. Takahashi and H. Yamasaki, A note on \u03c9-regular languages, Theoretical Computer Science 23 (1983) 217\u2013225.","journal-title":"Theoretical Computer Science"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/S0019-9958(79)90629-6","volume":"42","author":"W. Thomas","year":"1979","unstructured":"W. Thomas, Star-free regular sets of \u03c9-sequences, Information and Control 42 (1979) 148\u2013156.","journal-title":"Information and Control"},{"key":"7_CR8","unstructured":"H. Yamasaki, M. Takahashi, and K. Kobayashi, Characterization of \u03c9-regular languages by monadic second-order formulas (Submitted for publication, 1983)."}],"container-title":["Lecture Notes in Computer Science","Automata on Infinite Words"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15641-0_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:59:39Z","timestamp":1619542779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15641-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156413","9783540395058"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-15641-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}