{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:21Z","timestamp":1725663201406},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514862"},{"type":"electronic","value":"9783540481768"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51486-4_87","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:58:39Z","timestamp":1330185519000},"page":"397-407","source":"Crossref","is-referenced-by-count":0,"title":["Logically defined subsets of IN k"],"prefix":"10.1007","author":[{"given":"Pierre","family":"P\u00e9ladeau","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"35_CR1","unstructured":"D. A. M. Barrington, K. Compton, H. Straubing and D. Th\u00e9rien, Regular languages in NC 1, Draft."},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"D. A. Barrington and D. Th\u00e9rien, Finite monoids and the fine structure of NC 1, Proc. 19th ACM STOCK, (1987), 101\u2013109.","DOI":"10.1145\/28395.28407"},{"key":"35_CR3","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J. B\u00fcchi","year":"1960","unstructured":"J. B\u00fcchi, Weak second-order arithmetic and finite automata, Z. Math. Logik Grundlagen Math. 6, (1960), 66\u201392.","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"35_CR4","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0021-8693(69)90070-2","volume":"13","author":"S. Eilenberg","year":"1969","unstructured":"S. Eilenberg and M. P. Sch\u00fczenberger, Rational sets in commutative monoids, Journal of Algebra 13, (1969), 173\u2013191.","journal-title":"Journal of Algebra"},{"key":"35_CR5","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1966.16.285","volume":"16","author":"S. Ginsburg","year":"1966","unstructured":"S. Ginsburg and E. H. Spanier, Semigroups, Presburger formulas, and languages, Pacific Journal of Math. 16, (1966), 285\u2013296.","journal-title":"Pacific Journal of Math."},{"key":"35_CR6","first-page":"3","volume-title":"Automata Studies","author":"S. C. Kleene","year":"1954","unstructured":"S. C. Kleene, Representation of events in nerve nets and finite automata. In C. E. Shannon and J. McCartny (eds.), Automata Studies, Princeton University Press, Princeton, NJ, (1954), 3\u201341."},{"key":"35_CR7","volume-title":"Counter-Free Automata","author":"R. McNaughton","year":"1971","unstructured":"R. McNaughton and S. Papert, Counter-Free Automata, MIT Press, Cambridge, 1971."},{"key":"35_CR8","unstructured":"P. P\u00e9ladeau, Formulas, numerical predicates, and the fine structure of NC 1, Draft."},{"key":"35_CR9","volume-title":"Vari\u00e9t\u00e9s de langages formels","author":"J. E. Pin","year":"1984","unstructured":"J. E. Pin, Vari\u00e9t\u00e9s de langages formels, Masson, Paris, 1984, and Varieties of Formal Languages, Plenum, London, 1986."},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"H. Straubing, D. Th\u00e9rien and W. Thomas, Regular languages defined with generalized quantifiers, to appear in Proc. 15th ICALP, Springer Lecture Notes in Computer Science (1988).","DOI":"10.1007\/3-540-19488-6_142"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51486-4_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:21:29Z","timestamp":1605630089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51486-4_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514862","9783540481768"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-51486-4_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}