乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:03:44Z","timestamp":1725595424968},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223204"},{"type":"electronic","value":"9783642223211"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22321-1_33","type":"book-chapter","created":{"date-parts":[[2011,7,15]],"date-time":"2011-07-15T03:58:48Z","timestamp":1310702328000},"page":"386-396","source":"Crossref","is-referenced-by-count":4,"title":["Boolean Algebras of Regular Languages"],"prefix":"10.1007","author":[{"given":"Victor","family":"Selivanov","sequence":"first","affiliation":[]},{"given":"Anton","family":"Konovalov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Choffrut, C., Karhum\u00e4ki, J.: Combinatorics of Words. In: Handbook of Formal Languages. Springer, Berlin (1997)","DOI":"10.1007\/978-3-642-59136-5_6"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Ershov, Y.L.: Relatively complemented distributive lattices. Algebra and Logic\u00a018(6), 680\u2013722 (1979) (Russian, there is an English translation)","DOI":"10.1007\/BF01673954"},{"key":"33_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-70583-3_21","volume-title":"Automata, Languages and Programming","author":"M. Gehrke","year":"2008","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.-\u00c9.: Duality and equational theory of regular languages. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 246\u2013257. Springer, Heidelberg (2008)"},{"key":"33_CR4","volume-title":"Countable Boolean Algebras and Decidability","author":"S.S. Goncharov","year":"1996","unstructured":"Goncharov, S.S.: Countable Boolean Algebras and Decidability. Plenum, New York (1996)"},{"key":"33_CR5","unstructured":"Hanf, W.: The boolean algebra of logic. Bull. Amer. Math. Soc.\u00a020(4), 456\u2013502 (1975)"},{"key":"33_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2307\/1970929","volume":"108","author":"J. Ketonen","year":"1978","unstructured":"Ketonen, J.: The structure of countable Boolean algebras. Annals of Mathematics\u00a0108, 41\u201389 (1978)","journal-title":"Annals of Mathematics"},{"issue":"2","key":"33_CR7","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1142\/S0219061302000163","volume":"2","author":"S. Lempp","year":"2002","unstructured":"Lempp, S., Peretyat\u2019kin, M., Solomon, R.: The Lindenbaum algebra of the theory of the class of all finite models. Journal of Mathematical Logic\u00a02(2), 145\u2013225 (2002)","journal-title":"Journal of Mathematical Logic"},{"key":"33_CR8","unstructured":"Pin, J.-E.: Unpublished manuscript on regular languages"},{"issue":"2","key":"33_CR9","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF02679444","volume":"30","author":"N. Pippenger","year":"1997","unstructured":"Pippenger, N.: Regular languages and Stone duality. Theory of Computing Systems\u00a030(2), 121\u2013134 (1997)","journal-title":"Theory of Computing Systems"},{"key":"33_CR10","series-title":"Pure and Applied Mathematics","volume-title":"Infinite Words","author":"D. Perrin","year":"2004","unstructured":"Perrin, D., Pin, J.-E.: Infinite Words. Pure and Applied Mathematics, vol.\u00a0141. Elsevier, Amsterdam (2004)"},{"key":"33_CR11","unstructured":"Selivanov, V.L.: Universal Boolean algebras with applications. In: Abstracts of Int. Conf. in Algebra, Novosibirsk, p. 127 (1991) (in Russian)"},{"key":"33_CR12","unstructured":"Selivanov, V.L.: Hierarchies, Numerations, Index Sets. Handwritten Notes, 290 pp (1992)"},{"key":"33_CR13","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/978-1-4615-0755-0_14","volume-title":"Computability and Models, Perspectives East and West","author":"V.L. Selivanov","year":"2003","unstructured":"Selivanov, V.L.: Positive structures. In: Barry Cooper, S., Goncharov, S.S. (eds.) Computability and Models, Perspectives East and West, pp. 321\u2013350. Kluwer Academic\/Plenum Publishers, New York (2003)"},{"key":"33_CR14","volume-title":"Boolean Algebras","author":"R. Sikorski","year":"1964","unstructured":"Sikorski, R.: Boolean Algebras. Springer, Berlin (1964)"},{"key":"33_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":"33_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55808-X_48","volume-title":"Mathematical Foundations of Computer Science 1992","author":"A. Szilard","year":"1992","unstructured":"Szilard, A., Yu, S., Zhang, K., Shallit, J.: Characterizing Regular Languages with Polynomial Densities. In: Havel, I.M., Koubek, V. (eds.) MFCS 1992. LNCS, vol.\u00a0629, Springer, Heidelberg (1992)"},{"key":"33_CR17","unstructured":"Thomas, W.: Languages, automata and logic. In: Handbook of Formal Language Theory, vol. B, pp. 133\u2013191 (1996)"},{"key":"33_CR18","doi-asserted-by":"crossref","unstructured":"Yu, S.: Regular Languages. In: Rozenberg, G., Salomaa, A. (eds.) A chapter of Handbook of Formal Languages. Springer, Heidelberg (1997)","DOI":"10.1007\/978-3-642-59136-5_2"}],"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-642-22321-1_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T00:27:46Z","timestamp":1560385666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22321-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223204","9783642223211"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22321-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}