{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:51Z","timestamp":1725663891570},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:22Z","timestamp":1330208422000},"page":"264-274","source":"Crossref","is-referenced-by-count":0,"title":["Iteration algebras extended abstract"],"prefix":"10.1007","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[]},{"given":"Zolt\u00e1n","family":"\u00c9sik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"15_CR1","unstructured":"S.L. Bloom and Zolt\u00e1n \u00c9sik. Matrix and matricial iteration theories, part I. To appear."},{"key":"15_CR2","unstructured":"S.L. Bloom and Zolt\u00e1n \u00c9sik. Matrix and matricial iteration theories, part II. To appear."},{"issue":"5","key":"15_CR3","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(5):939\u2013966, 1988.","journal-title":"SIAM Journal of Computing"},{"issue":"3","key":"15_CR4","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0304-3975(89)90012-1","volume":"63","author":"S.L. Bloom","year":"1989","unstructured":"S.L. Bloom and Z. \u00c9sik. Equational logic of circular data type specification. Theoretical Computer Science, 63(3):303\u2013331, 1989.","journal-title":"Theoretical Computer Science"},{"key":"15_CR5","unstructured":"S.L. Bloom, Z. \u00c9sik, and D. Taubner. Iteration theories of synchronization trees. Information and Computation, to appear."},{"issue":"1","key":"15_CR6","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1137\/0209002","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(1):26\u201345, 1980.","journal-title":"SIAM Journal of Computing"},{"issue":"3","key":"15_CR7","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(3):525\u2013540, 1980.","journal-title":"SIAM Journal of Computing"},{"key":"15_CR8","unstructured":"S.L. Bloom and E.G. Wagner. Many sorted theories and their algebras. In Algebraic Methods in Semantics. Cambridge University Press."},{"key":"15_CR9","series-title":"Research Report","volume-title":"Towards a new algebraic foundation of flowchart system theory","author":"V.E. Cazanescu","year":"1987","unstructured":"V.E. Cazanescu and Gh. \u015etef\u0102nescu. Towards a new algebraic foundation of flowchart system theory. Research Report 43, Institute of Mathematics, Institute for Scientific and Technical Creation, Bucharest, Romania, 1987."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"B. Courcelle and M. Nivat. Algebraic families of interpretations. In 17th IEEE Symp. on Foundations of Computing, 1976.","DOI":"10.1109\/SFCS.1976.3"},{"key":"15_CR11","first-page":"183","volume":"14","author":"Z. \u00c9sik","year":"1980","unstructured":"Z. \u00c9sik. Identitites in iterative and rational theories. Computational Linguistics and Computer Languages, 14:183\u2013207, 1980.","journal-title":"Computational Linguistics and Computer Languages"},{"issue":"2","key":"15_CR12","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0022-0000(83)90044-2","volume":"27","author":"Z. \u00c9sik","year":"1983","unstructured":"Z. \u00c9sik. Algebras of iteration theories. Journal of Computer and System Science, 27(2):291\u2013303, 1983.","journal-title":"Journal of Computer and System Science"},{"key":"15_CR13","unstructured":"Z. \u00c9sik. A note on the axiomatization of iteration theories. Acta Cybernetica, 1990. To appear."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"J. Goguen, J. Thatcher, E. Wagner, and J. Wright. Initial algebra semantics and continuous algebras. Journal of the Association of Computing Machinery, (24):68\u201395, 1977.","DOI":"10.1145\/321992.321997"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"I. Guessarian Algebraic Semantics. Lecture Notes in Computer Science, 99, 1981.","DOI":"10.1007\/3-540-10284-1"},{"key":"15_CR16","unstructured":"H. Herrlich and G.E. Strecker. Category Theory. Allyn and Bacon, 1973."},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F.W. Lawvere","year":"1963","unstructured":"F.W. Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences USA, 50:869\u2013873, 1963.","journal-title":"Proceedings of the National Academy of Sciences USA"},{"key":"15_CR18","unstructured":"Evelyn Nelson. Iterative algebras. Technical report, McMaster University, 1981."},{"key":"15_CR19","first-page":"255","volume":"15","author":"M. Nivat","year":"1975","unstructured":"M. Nivat. On the interpretation of recursive polyadic program schemes. Symposia Mathematica, 15:255\u2013281, 1975.","journal-title":"Symposia Mathematica"},{"key":"15_CR20","unstructured":"G. Stef\u0102nescu. On flowchart theories: Part I. The deterministic case. Journal of Computer and System Science, (35):163\u2013191, 1987."},{"key":"15_CR21","unstructured":"G. Stef\u0102nescu. On flowchart theories: Part II. The nondeterministic case. Theoretical Computer Science, (52):307\u2013340, 1987."},{"issue":"1","key":"15_CR22","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/FI-1978-2108","volume":"2","author":"J. Tiuryn","year":"1978","unstructured":"Jerzy Tiuryn. Fixed points and algebras with infinitely long expressions, I. regular algebras. Fundamenta Informatica, 2(1):103\u2013127, 1978.","journal-title":"Fundamenta Informatica"},{"issue":"3","key":"15_CR23","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0304-3975(80)90056-0","volume":"12","author":"J. Tiuryn","year":"1980","unstructured":"Jerzy Tiuryn. Unique fixed points vs. least fixed points. Theoretical Computer Science, 12(3):229\u2013254, 1980.","journal-title":"Theoretical Computer Science"},{"key":"15_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(90)90150-G","volume":"70","author":"E.G. Wagner","year":"1990","unstructured":"E.G. Wagner. Algebras, polynomials and programs. Theoretical Computer Science, 70:3\u201334, 1990.","journal-title":"Theoretical Computer Science"},{"key":"15_CR25","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","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:34:23Z","timestamp":1640921663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}