{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:30:13Z","timestamp":1761611413121},"reference-count":20,"publisher":"EDP Sciences","issue":"1-3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1998]]},"DOI":"10.1051\/ita\/1998321-300351","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T15:12:04Z","timestamp":1486048324000},"page":"35-78","source":"Crossref","is-referenced-by-count":12,"title":["Semantics of flowchart programs and the free Conway theories"],"prefix":"10.1051","volume":"32","author":[{"given":"L.","family":"Bern\u00e1tsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"\u00c9sik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"1. BLOOM S. L., ELGOT C. C. and WRIGHT J. B., Solutions of the iteration equation and extensions of the scalar iteration operation, SIAM Journal of Computing, 1980, 9, pp. 24-65.5578230454.18011","DOI":"10.1137\/0209002"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"2. BLOOM S. L., ELGOT C. C. and WRIGHT J. B., Vector iteration in pointed iterative theories, SIAM Journal of Computing, 1980, 9, pp. 525-540.5845090461.68047","DOI":"10.1137\/0209039"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"3. BLOOM S. L. and \u00c9SIK Z., Axiomatizing schemes and their behaviours, Journal of Computing and System Sciences, 1985, 31, pp. 375-393.8351320613.68013","DOI":"10.1016\/0022-0000(85)90059-5"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"4. BLOOM S. L. and \u00c9SIK Z., Floyd-Hoare logic in iteration theories, JACM, 1991, pp. 887-934.11345200799.68042","DOI":"10.1145\/115234.115352"},{"key":"R5","doi-asserted-by":"crossref","unstructured":"5. BLOOM S. L. and \u00c9SIK Z., Iteration Theories: The Equational Logic of Iterative Processes, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1993.12954330773.03033","DOI":"10.1007\/978-3-642-78034-9_6"},{"key":"R6","unstructured":"6. BOVET D. P. and CRESCENZI P., Introduction to the Theory of Complexity, Prentice-Hall, 1994.13112460809.68067"},{"key":"R7","doi-asserted-by":"crossref","unstructured":"7. CAZANESCU V. E. and STEFANESCU Gh., Towards a new algebraic foundation of flowchart scheme theory, Fundamenta Informaticae, 1990, 13, pp. 171-210.10746340705.68071","DOI":"10.3233\/FI-1990-13204"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"8. CHO Sang and HUYNH Dung T., Finite-automaton aperiodicity is PSPACE-complete, Theoretical Computer Science, 1991, 88, pp. 99-116.11303740733.68038","DOI":"10.1016\/0304-3975(91)90075-D"},{"key":"R9","unstructured":"9. CONWAY J. C., Regular Algebra and Finite Machines, Chapman and Hall, 1971.0231.94041"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. COURCELLE B., Fundamental properties of infinite trees. In Theoretical Foundations of Programming Methodology, Munich 1981, Reidel, 1982.6969670513.68060","DOI":"10.1007\/978-94-009-7893-5_13"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"11. ELGOT C. C., Monadic computation and iterative algebraic theories. In J. C. Shepherdson, editor, Logic Colloquium 1973 volume 80 of Studies in Logic, Amsterdam, 1975. North Holland.4135840327.02040","DOI":"10.1016\/S0049-237X(08)71949-9"},{"key":"R12","doi-asserted-by":"crossref","unstructured":"12. ELGOT C. C., Matricial Theories, Journal of Algebra, 1976, 42, pp. 391-421.4300170361.18004","DOI":"10.1016\/0021-8693(76)90106-X"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"13. ELGOT C. C., Structured programmning with and without goto statements. In IEEE Transactions on Software Engineering, number 232 in SE-2, 1976, pp. 41-53.4339420348.68008","DOI":"10.1109\/TSE.1976.233800"},{"key":"R14","unstructured":"14. \u00c9SIK Z., Group axioms for iteration, to appear.16743070924.68143"},{"key":"R15","unstructured":"15. \u00c9SIK Z., Identities in Iterative and rational algebraic theories, Computational Linguistics and Computer Languages, 1980, 14, pp. 183-207.6262630466.68010"},{"key":"R16","unstructured":"16. GOLAN J. S., The theory of semirings with applications in mathematics and theoretical computer science, Longman Scientific & Technical, 1993.11633710780.16036"},{"key":"R17","doi-asserted-by":"crossref","unstructured":"17. KROB D., Complete Systems of B-rational identities, Theoretical Computer Science, 1991, 89, pp. 207-343.11336220737.68053","DOI":"10.1016\/0304-3975(91)90395-I"},{"key":"R18","doi-asserted-by":"crossref","unstructured":"18. LAWVERE F. W., Functorial Semantics of Algebraic Theories, Proceedings of the National Academy of Sciences USA, 1963, 50, pp. 869-873.1589210119.25901","DOI":"10.1073\/pnas.50.5.869"},{"key":"R19","doi-asserted-by":"crossref","unstructured":"19. PIN J.-E., Varieties of Formal Languages, orth Oxford Academic, 1986.9126940655.68095","DOI":"10.1007\/978-1-4613-2215-3"},{"key":"R20","doi-asserted-by":"crossref","unstructured":"20. STEFANESCU Gh., On Flowchart Theories: Part I. The deterministic case, JCSS, 1987, 35, pp. 163-191.9102110628.68018","DOI":"10.1016\/0022-0000(87)90011-0"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1998321-300351\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,23]],"date-time":"2022-07-23T08:31:51Z","timestamp":1658565111000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1998321-300351"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":20,"journal-issue":{"issue":"1-3"},"alternative-id":["ita1998321-300351"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1998321-300351","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}