{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299671},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580270"},{"type":"electronic","value":"9783540484196"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58027-1_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:08:29Z","timestamp":1330268909000},"page":"378-409","source":"Crossref","is-referenced-by-count":4,"title":["Some quasi-varieties of iteration theories"],"prefix":"10.1007","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"\u00c9sik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"19_CR1","first-page":"67","volume":"10","author":"K.B. Arkhangelskii","year":"1987","unstructured":"K.B. Arkhangelskii and P.V. Gorshkov. Implicational axioms for the algebra of regular languages (in Russian). Doklady Akad. Nauk, USSR, ser A., 10:67\u201369, 1987.","journal-title":"Doklady Akad. Nauk, USSR, ser A."},{"key":"19_CR2","first-page":"1","volume":"8","author":"S. L. Bloom","year":"1987","unstructured":"S. L. Bloom and R. Tindell. A note on zero congruences. Acta. Cybernetica, 8:1\u20134, 1987.","journal-title":"Acta. Cybernetica"},{"key":"19_CR3","first-page":"26","volume":"9","author":"S.L. Bloom","year":"1980","unstructured":"S.L. Bloom, C.C. Elgot, and J.B. Wright. Solutions of the iteration equation and extensions of the scalar iteration operation. SIAM Journal of Computing, 9:26\u201345, 1980.","journal-title":"SIAM Journal of Computing"},{"key":"19_CR4","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1137\/0209039","volume":"9","author":"S.L. Bloom","year":"1980","unstructured":"S.L. Bloom, C.C. Elgot, and J.B. Wright. Vector iteration in pointed iterative theories. SIAM Journal of Computing, 9:525\u2013540, 1980.","journal-title":"SIAM Journal of Computing"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0022-0000(93)90010-T","volume":"46","author":"S.L. Bloom","year":"1993","unstructured":"S.L. Bloom and Z. \u00c9sik. Matrix and matricial iteration theories, Part I. Journal of Computer and System. Sciences. 46:381\u2013408, 1993.","journal-title":"Journal of Computer and System. Sciences"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/0022-0000(93)90011-K","volume":"46","author":"S.L. Bloom","year":"1993","unstructured":"S.L. Bloom and Z. \u00c9sik. Matrix and matricial iteration theories, Part II. Journal of Computer and System. Sciences. 46:409\u2013439, 1993.","journal-title":"Journal of Computer and System. Sciences"},{"key":"19_CR7","doi-asserted-by":"crossref","first-page":"939","DOI":"10.1137\/0217059","volume":"17","author":"S.L. Bloom","year":"1988","unstructured":"S.L. Bloom and Z. \u00c9sik. Varieties of iteration theories. SIAM Journal of Computing, 17:939\u2013966, 1988.","journal-title":"SIAM Journal of Computing"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"S.L. Bloom and Z. \u00c9sik. Iteration theories: the equational logic of iterative processes. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-78034-9_6"},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"171","DOI":"10.3233\/FI-1990-13204","volume":"13","author":"V.E. Cazanescu","year":"1990","unstructured":"V.E. Cazanescu and Gh. Stefanescu. Towards a new algebraic foundation of flowchart scheme theory. Fundamenta Informaticae, 13:171\u2013210, 1990.","journal-title":"Fundamenta Informaticae"},{"key":"19_CR10","unstructured":"J.C. Conway. Regular Algebra and Finite Machines. Chapman and Hall, 1971."},{"key":"19_CR11","volume-title":"Logic Colloquium. 1973. Studies in Logic, volume 80","author":"C.C. Elgot","year":"1975","unstructured":"C.C. Elgot. Monadic computation and iterative algebraic theories. In J.C. Shepherdson, editor, Logic Colloquium. 1973. Studies in Logic, volume 80. North Holland, Amsterdam, 1975."},{"key":"19_CR12","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/0022-0000(78)90024-7","volume":"16","author":"C.C. Elgot","year":"1978","unstructured":"C.C. Elgot, S.L. Bloom, and R. Tindell. On the algebraic structure of rooted trees. Journal of Computer and System Sciences, 16:362\u2013399, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR13","first-page":"183","volume":"14","author":"Z. \u00c9sik","year":"1980","unstructured":"Z. \u00c9sik. Identities in iterative and rational theories. Computational Linguistics and Computer Languages, 14:183\u2013207, 1980.","journal-title":"Computational Linguistics and Computer Languages"},{"key":"19_CR14","first-page":"95","volume":"15","author":"Z. \u00c9sik","year":"1982","unstructured":"Z. \u00c9sik. On generalized iterative algebraic theories. Computational Linguistics and Computer Languages, 15:95\u2013110, 1982.","journal-title":"Computational Linguistics and Computer Languages"},{"key":"19_CR15","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/0022-0000(88)90020-7","volume":"36","author":"Z. \u00c9sik","year":"1988","unstructured":"Z. \u00c9sik. Independence of the equational axioms of iteration theories. Journal of Computer and System Sciences, 36:66\u201376, 1988.","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR16","first-page":"375","volume":"9","author":"Z. \u00c9sik","year":"1990","unstructured":"Z. \u00c9sik. A note on the axiomatization of iteration theories. Acta Cybernetica, 9:375\u2013384, 1990.","journal-title":"Acta Cybernetica"},{"key":"19_CR17","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. Goguen","year":"1977","unstructured":"J. Goguen, J. Thatcher, E. Wagner, and J. Wright. Initial algebra semantics and continuous algebras. Journal of the Association for Computing Machinery, 24:68\u201395, 1977.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"D. Kozen. A completeness theorem for Kleene algebras and the algebra of regular events. In Proc. IEEE Symposium on Logic in Computer Science, pages 214\u2013225, 1991.","DOI":"10.1109\/LICS.1991.151646"},{"key":"19_CR19","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0304-3975(91)90395-I","volume":"89","author":"D. Krob","year":"1991","unstructured":"D. Krob. Complete systems of B-rational identities. Theoretical Computer Science, 89:207\u2013343, 1991.","journal-title":"Theoretical Computer Science"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"E.G. Manes. Predicate Transformer Semantics. Cambridge Tracts in Theoretical Computer Science 31. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511569821"},{"key":"19_CR21","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0022-0000(87)90011-0","volume":"35","author":"G. Stefanescu","year":"1987","unstructured":"Gh. Stefanescu. On flowchart theories: Part I. The deterministic case. Journal of Computer and System. Sciences, 35:163\u2013191, 1987.","journal-title":"Journal of Computer and System. Sciences"},{"key":"19_CR22","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/0304-3975(87)90114-9","volume":"52","author":"G. Stefanescu","year":"1987","unstructured":"Gh. Stefanescu. On flowchart theories: Part II. The nondeterministic case. Theoretical Computer Science, 52:307\u2013340, 1987.","journal-title":"Theoretical Computer Science"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"E. Wagner, J. Thatcher, and J. Wright. Programming languages as mathematical objects. In Mathematical Foundations of Computer Science, volume 64 of Lecture Notes in Computer Science, pages 84\u2013101. Springer-Verlag, 1978.","DOI":"10.1007\/3-540-08921-7_58"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"J.B. Wright, J.W. Thatcher, J. Goguen, and E.G. Wagner. Rational algebraic theories and fixed-point solutions. In Proceedings 17th IEEE Symposium on Foundations of Computing, pages 147\u2013158, Houston, Texas, 1976.","DOI":"10.1109\/SFCS.1976.24"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58027-1_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:57:43Z","timestamp":1640930263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58027-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580270","9783540484196"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58027-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}