{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T11:01:56Z","timestamp":1780743716902,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540434009","type":"print"},{"value":"9783540459958","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45995-2_46","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T22:33:34Z","timestamp":1180478014000},"page":"528-538","source":"Crossref","is-referenced-by-count":28,"title":["On Logical Descriptions of Regular Languages"],"prefix":"10.1007","author":[{"given":"Howard","family":"Straubing","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"J. Almeida, Finite Semigroups and Universal Algebra, World Scientific, Singapore, 1994.","DOI":"10.1142\/2481"},{"key":"46_CR2","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1016\/0022-0000(92)90014-A","volume":"44","author":"D. M. Barrington","year":"1992","unstructured":"D. Mix Barrington, K. Compton, H. Straubing, and D. Th\u00e9rien, \u201cRegular Languages in NC1\u201d, J. Comp. Syst. Sci. 44 (1992) 478\u2013499.","journal-title":"J. Comp. Syst. Sci."},{"key":"46_CR3","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0012-365X(73)80005-6","volume":"4","author":"J. Brzozowski","year":"1973","unstructured":"J. Brzozowski and I. Simon, \u201cCharacterizations of Locally Testable Events\u201d, Discrete Math. 4 (1973) 243\u2013271.","journal-title":"Discrete Math"},{"key":"46_CR4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J. R. B\u00fcchi","year":"1960","unstructured":"J. R. B\u00fcchi, \u201cWeak Second-order Arithmetic and Finite Automata\u201d, Z. Math. Logik Grundl. Math. 6 66\u201392 (1960).","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"46_CR5","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1976","unstructured":"S. Eilenberg, Automata, Languages and Machines, vol. B, Academic Press, New York, 1976."},{"key":"46_CR6","volume-title":"Counter-Free Automata","author":"R. McNaughton","year":"1971","unstructured":"R. McNaughton and S. Papert, Counter-Free Automata, MIT Press, Cambridge, Massachusetts, 1971."},{"key":"46_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-1-4613-2215-3_3","volume-title":"Varieties of Formal Languages","author":"J. E. Pin","year":"1986","unstructured":"J. E. Pin, Varieties of Formal Languages, Plenum, London, 1986."},{"key":"46_CR8","first-page":"80","volume":"39","author":"J.-E. Pin","year":"1995","unstructured":"J.-E. Pin, A variety theorem without complementation, Russian Mathematics (Izvestija vuzov.Matematika) 39 (1995), 80\u201390.","journal-title":"Russian Mathematics (Izvestija vuzov.Matematika)"},{"key":"46_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0890-5401(92)90063-L","volume":"101","author":"J.-E. Pin","year":"1992","unstructured":"J.-E. Pin, H. Straubing and D. Thrien, \u201cNew results on the generalized star-height problem\u201d, Information and Computation 101 219\u2013250 (1992).","journal-title":"Information and Computation"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"H. Straubing, Finite Automata, Formal Languages, and Circuit Complexity, Birkh\u00e4user, Boston, 1994.","DOI":"10.1007\/978-1-4612-0289-9"},{"key":"46_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/3-540-44693-1_48","volume-title":"STACS 2001","author":"H. Straubing","year":"2001","unstructured":"H. Straubing and D. Th\u00e9rien, \u201cRegular Languages Defined by Generalized First-Order Sentences with a Bounded Number of Bound Variables\u201d, in STACS 2001, Springer, Berlin 551\u2013562 (2001) (Lecture Notes in Computer Science 2010.)"},{"key":"46_CR12","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1006\/inco.1995.1067","volume":"118","author":"H. Straubing","year":"1995","unstructured":"H. Straubing, D. Th\u00e9rien, and W. Thomas, \u201cRegular Languages Defined by Generalized Quantifiers\u201d, Information and Computation 118 289\u2013301 (1995).","journal-title":"Information and Computation"},{"key":"46_CR13","doi-asserted-by":"crossref","unstructured":"D. Th\u00e9rien and T. Wilke, \u201cOver Words, Two Variables are as Powerful as One Quantifier Alternation,\u201d Proc. 30th ACM Symposium on the Theory of Computing 256\u2013263 (1998).","DOI":"10.1145\/276698.276749"},{"key":"46_CR14","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1016\/0022-0000(82)90016-2","volume":"25","author":"W. Thomas","year":"1982","unstructured":"W. Thomas, \u201cClassifying Regular Events in Symbolic Logic\u201d, J. Computer and System Sciences 25 (1982) 360\u2013376.","journal-title":"J. Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","LATIN 2002: Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45995-2_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T08:30:24Z","timestamp":1556440224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45995-2_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434009","9783540459958"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45995-2_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002]]}}}