{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:32:12Z","timestamp":1761597132570},"reference-count":20,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5847,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1993,3]]},"abstract":"<jats:p>We show that, aside from the semiring equations, three equations and two equation schemes characterize the semiring of regular sets with the Kleene star operation.<\/jats:p>","DOI":"10.1017\/s0960129500000104","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:01:47Z","timestamp":1236157307000},"page":"1-24","source":"Crossref","is-referenced-by-count":35,"title":["Equational axioms for regular sets"],"prefix":"10.1017","volume":"3","author":[{"given":"S. L.","family":"Bloom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"\u00c9sik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000104_ref008","unstructured":"Bloom S. L. and \u00c9sik Z. (to appear c) Iteration algebras. International Journal of Foundations of Computer Science."},{"key":"S0960129500000104_ref013","first-page":"67","article-title":"Implicational axioms for the algebra of regular languages (in Russian)","volume":"10","author":"Gorshkov","year":"1987","journal-title":"Doklady Akad. Nauk, Ukrainian SSR"},{"key":"S0960129500000104_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-6264-0"},{"key":"S0960129500000104_ref014","first-page":"55","article-title":"The Kleene theorem in countably complete semirings","volume":"31","author":"Hebish","year":"1990","journal-title":"Bayreuther Mathematische Schriften"},{"key":"S0960129500000104_ref010","unstructured":"Bloom S. L. , \u00c9sik Z. and Taubner D. (to appear) Iteration theories of Synchronization trees. Information and Computation."},{"key":"S0960129500000104_ref002","doi-asserted-by":"publisher","DOI":"10.1137\/0217059"},{"key":"S0960129500000104_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55511-0_24"},{"key":"S0960129500000104_ref018","first-page":"120","article-title":"On defining relations for the algebra of regular events (in Russian)","volume":"16","author":"Redko","year":"1964","journal-title":"Ukrain Mat. Zh"},{"key":"S0960129500000104_ref006","unstructured":"Bloom S. L. and \u00c9sik Z. (to appear a) Matrix and matricial iteration theories, Part I. Journal of Computer and System Science."},{"key":"S0960129500000104_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90012-1"},{"key":"S0960129500000104_ref004","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115352"},{"key":"S0960129500000104_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(85)90059-5"},{"key":"S0960129500000104_ref007","unstructured":"Bloom S. L. and \u00c9sik Z. (to appear b) Matrix and matricial iteration theories, Part II. Journal of Computer and System Science."},{"key":"S0960129500000104_ref011","volume-title":"Regular Algebra and Finite Machines","author":"Conway","year":"1971"},{"key":"S0960129500000104_ref012","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10854-8_13"},{"key":"S0960129500000104_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025782"},{"key":"S0960129500000104_ref016","volume-title":"A completeness theorem for Kleene algebras and the algebra of regular events","author":"Kozen","year":"1990"},{"key":"S0960129500000104_ref017","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.50.5.869"},{"key":"S0960129500000104_ref009","unstructured":"Bloom S. L. and \u00c9sik Z. (submitted) Matrix and Matricial theories of regular sets. Stevens Research Report 9013."},{"key":"S0960129500000104_ref019","doi-asserted-by":"publisher","DOI":"10.1145\/321312.321326"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:40:47Z","timestamp":1557963647000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000104\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,3]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,3]]}},"alternative-id":["S0960129500000104"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000104","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,3]]}}}