{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:16Z","timestamp":1725663076788},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167617"},{"type":"electronic","value":"9783540398592"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16761-7_91","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:53:07Z","timestamp":1330195987000},"page":"416-423","source":"Crossref","is-referenced-by-count":6,"title":["Semigroups and languages of dot-depth 2"],"prefix":"10.1007","author":[{"given":"Howard","family":"Straubing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"43_CR1","first-page":"37","volume":"16","author":"J. A. Brzozowski","year":"1978","unstructured":"J. A. Brzozowski and R. Knast, The dot-depth hierarchy of star-free events is infinite, JCSS 16 (1978), 37\u201355.","journal-title":"JCSS"},{"key":"43_CR2","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/S0012-365X(73)80005-6","volume":"4","author":"J. A. Brzozowski","year":"1973","unstructured":"J. A. Brzozowski and I. Simon, Characterizations of locally testable events, Discrete Math 4 (1973), 243\u2013271.","journal-title":"Discrete Math"},{"key":"43_CR3","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J. R. B\u00fcchi","year":"1960","unstructured":"J. R. 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":"43_CR4","volume-title":"Automata, Languages and Machines, vol. B","author":"S. Eilenberg","year":"1976","unstructured":"S. Eilenberg, Automata, Languages and Machines, vol. B, Academic Press, New York, 1976."},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"R. Knast, A semigroup characterization of dot-depth one languages, RAIRO Inform. Th\u00e9or. (1984).","DOI":"10.1051\/ita\/1983170403211"},{"key":"43_CR6","volume-title":"Counter-free Automata","author":"R. McNaughton","year":"1971","unstructured":"R. McNaughton and S. Papert, Counter-free Automata, MIT Press, Cambridge, Mass., 1971."},{"key":"43_CR7","doi-asserted-by":"crossref","unstructured":"S. Margolis and J.E. Pin, Graphs, inverse semigroups and languages, Proceedings of Conference on Semigroups, Marquette University, 1984.","DOI":"10.1007\/3-540-13345-3_30"},{"key":"43_CR8","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/BF01761708","volume":"8","author":"R. McNaughton","year":"1974","unstructured":"R. McNaughton, Algebraic decision procedures for local testability, Math. Systems Theory 8 (1974), 60\u201376.","journal-title":"Math. Systems Theory"},{"key":"43_CR9","unstructured":"D. Perrin and J. E. Pin, First-order logic and star-free sets, Research report 85-23, Laboratoire d'Informatique Th\u00e9orique et Programmation, 1985."},{"key":"43_CR10","first-page":"259","volume":"39","author":"J.E. Pin","year":"1981","unstructured":"J.E. Pin and H. Straubing, Monoid of upper triangular matrices, Colloquia Mathematica Soc. J. Bolyai 39 (1981), 259\u2013272.","journal-title":"J. Bolyai"},{"key":"43_CR11","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"M.P. Sch\u00fctzenberger","year":"1965","unstructured":"M.P. Sch\u00fctzenberger, On finite monoids having only trivial subgroups, Information and Control 8 (1965) 190\u2013194.","journal-title":"Information and Control"},{"key":"43_CR12","volume-title":"Piecewise testable events, Lecture Notes in Computer Science 33","author":"I. Simon","year":"1975","unstructured":"I. Simon, Piecewise testable events, Lecture Notes in Computer Science 33 (Springer, Berlin, 1975)."},{"key":"43_CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0304-3975(81)90036-0","volume":"13","author":"H. Straubing","year":"1981","unstructured":"H. Straubing, A generalization of the Sch\u00fctzenberger product of finite monoids, Theoretical Computer Science 13 (1981) 137\u2013150.","journal-title":"Theoretical Computer Science"},{"key":"43_CR14","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0022-4049(85)90062-3","volume":"36","author":"H. Straubing","year":"1985","unstructured":"H. Straubing, Finite semigroup varieties of the form V*D, J. Pure and Applied Algebra 36 (1985), 53\u201394.","journal-title":"J. Pure and Applied Algebra"},{"key":"43_CR15","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0022-4049(85)90071-4","volume":"36","author":"D. Th\u00e9rien","year":"1985","unstructured":"D. Th\u00e9rien and A. Weiss, Graph congruences and wreath products, J. Pure and Applied Algebra 36 (1985), 205\u2013215.","journal-title":"J. Pure and Applied Algebra"},{"key":"43_CR16","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0304-3975(81)90057-8","volume":"14","author":"D. Th\u00e9rien","year":"1981","unstructured":"D. Th\u00e9rien, Classification of finite monoids: the language approach, Theoretical Computer Science 14 (1981), 195\u2013208.","journal-title":"Theoretical Computer Science"},{"key":"43_CR17","first-page":"360","volume":"25","author":"W. Thomas","year":"1982","unstructured":"W. Thomas, Classifying regular events in symbolic logic, JCSS 25 (1982), 360\u2013376.","journal-title":"JCSS"},{"key":"43_CR18","unstructured":"B. Tilson, Categories as algebra, Preprint."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16761-7_91.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:05:14Z","timestamp":1619557514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16761-7_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167617","9783540398592"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-16761-7_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}