{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:34:34Z","timestamp":1725798874031},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319096971"},{"type":"electronic","value":"9783319096988"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09698-8_24","type":"book-chapter","created":{"date-parts":[[2014,8,17]],"date-time":"2014-08-17T20:52:51Z","timestamp":1408308771000},"page":"275-278","source":"Crossref","is-referenced-by-count":0,"title":["From Algebra to Logic: There and Back Again The Story of a Hierarchy"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Weil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","volume-title":"Finite Semigroups and Universal Algebra","author":"J. Almeida","year":"1994","unstructured":"Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1994)"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0021-8693(70)90073-6","volume":"15","author":"J. Gerhard","year":"1970","unstructured":"Gerhard, J.: The lattice of equational classes of idempotent semigroups. Journal of Algebra\u00a015, 195\u2013224 (1970)","journal-title":"Journal of Algebra"},{"issue":"3","key":"24_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1112\/plms\/s3-58.2.323","volume":"58","author":"J. Gerhard","year":"1989","unstructured":"Gerhard, J., Petrich, M.: Varieties of bands revisited. Proceedings of the London Mathematical Society\u00a058(3), 323\u2013350 (1989)","journal-title":"Proceedings of the London Mathematical Society"},{"key":"24_CR4","series-title":"LIPIcs","doi-asserted-by":"publisher","first-page":"86","DOI":"10.4230\/LIPIcs.FSTTCS.2012.86","volume-title":"FSTTCS 2012","author":"A. Krebs","year":"2012","unstructured":"Krebs, A., Straubing, H.: An effective characterization of the alternation hierarchy in two-variable logic. In: FSTTCS 2012. LIPIcs, vol.\u00a018, pp. 86\u201398. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl (2012), doi:10.4230\/LIPIcs.FSTTCS.2012.86"},{"key":"24_CR5","unstructured":"Krohn, K., Rhodes, J., Tilson, B.: Homomorphisms and semilocal theory. In: Arbib, M. (ed.) The Algebraic Theory of Machines, Languages and Semigroups. Academic Press (1965)"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s00233-010-9258-6","volume":"81","author":"M. Kufleitner","year":"2010","unstructured":"Kufleitner, M., Weil, P.: On the lattice of sub-pseudovarieties of DA. Semigroup Forum\u00a081, 243\u2013254 (2010)","journal-title":"Semigroup Forum"},{"key":"24_CR7","series-title":"LIPIcs","doi-asserted-by":"publisher","first-page":"426","DOI":"10.4230\/LIPIcs.CSL.2012.426","volume-title":"CSL 2012","author":"M. Kufleitner","year":"2012","unstructured":"Kufleitner, M., Weil, P.: The FO\n                  2 alternation hierarchy is decidable. In: CSL 2012. LIPIcs, vol.\u00a016, pp. 426\u2013439. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl (2012), doi:10.4230\/LIPIcs.CSL.2012.426"},{"issue":"3:11","key":"24_CR8","first-page":"1","volume":"8","author":"M. Kufleitner","year":"2012","unstructured":"Kufleitner, M., Weil, P.: On logical hierarchies within FO\n                  2-definable languages. Logical Methods in Computer Science\u00a08(3:11), 1\u201330 (2012)","journal-title":"Logical Methods in Computer Science"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-10003-2_93","volume-title":"Automata, Languages and Programming","author":"J.E. Pin","year":"1980","unstructured":"Pin, J.E.: Propri\u00e9t\u00e9s syntactiques du produit non ambigu. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 483\u2013499. Springer, Heidelberg (1980)"},{"key":"24_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2215-3","volume-title":"Varieties of Formal Languages","author":"J.\u00c9. Pin","year":"1986","unstructured":"Pin, J.\u00c9.: Varieties of Formal Languages. North Oxford Academic, London (1986)"},{"key":"24_CR11","series-title":"Springer Monographs in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/b104443","volume-title":"The $\\mathfrak{q}$ -theory of finite semigroups","author":"J. Rhodes","year":"2009","unstructured":"Rhodes, J., Steinberg, B.: The \n                    \n                      \n                    \n                    $\\mathfrak{q}$\n                  -theory of finite semigroups. Springer Monographs in Mathematics. Springer, New York (2009)"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02194921","volume":"13","author":"M.P. Sch\u00fctzenberger","year":"1976","unstructured":"Sch\u00fctzenberger, M.P.: Sur le produit de concat\u00e9nation non ambigu. Semigroup Forum\u00a013, 47\u201375 (1976)","journal-title":"Semigroup Forum"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/3-540-46011-X_20","volume-title":"Developments in Language Theory","author":"T. Schwentick","year":"2002","unstructured":"Schwentick, T., Th\u00e9rien, D., Vollmer, H.: Partially-ordered two-way automata: A new characterization of DA. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds.) DLT 2001. LNCS, vol.\u00a02295, pp. 239\u2013250. Springer, Heidelberg (2002)"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/3-540-07407-4_23","volume-title":"Automata Theory and Formal Languages","author":"I. Simon","year":"1975","unstructured":"Simon, I.: Piecewise testable events. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol.\u00a033, pp. 214\u2013222. Springer, Heidelberg (1975)"},{"key":"24_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0289-9","volume-title":"Finite automata, formal logic, and circuit complexity","author":"H. Straubing","year":"1994","unstructured":"Straubing, H.: Finite automata, formal logic, and circuit complexity. Birkh\u00e4user, Boston (1994)"},{"key":"24_CR16","series-title":"LIPIcs","doi-asserted-by":"publisher","first-page":"525","DOI":"10.4230\/LIPIcs.CSL.2011.525","volume-title":"CSL 2011","author":"H. Straubing","year":"2011","unstructured":"Straubing, H.: Algebraic Characterization of the Alternation Hierarchy in FO\n                  2[\u2009<\u2009] on Finite Words. In: CSL 2011. LIPIcs, vol.\u00a012, pp. 525\u2013537. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl (2011), doi:10.4230\/LIPIcs.CSL.2011.525"},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/BF02573578","volume":"46","author":"P. Weil","year":"1993","unstructured":"Weil, P.: Some results on the dot-depth hierarchy. Semigroup Forum\u00a046, 352\u2013370 (1993)","journal-title":"Semigroup Forum"},{"key":"24_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-5(3:4)2009","volume":"5","author":"P. Weis","year":"2009","unstructured":"Weis, P., Immerman, N.: Structure theorem and strict alternation hierarchy for FO2 on words. Logical Methods in Computer Science\u00a05, 1\u201323 (2009)","journal-title":"Logical Methods in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09698-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,20]],"date-time":"2019-01-20T18:40:57Z","timestamp":1548009657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09698-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319096971","9783319096988"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09698-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}