{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T07:17:59Z","timestamp":1767165479825,"version":"build-2238731810"},"reference-count":17,"publisher":"World Scientific Pub Co Pte Ltd","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2000,6]]},"abstract":"<jats:p>It has been shown that the axioms of iteration theories capture the equational properties of iteration in several different models related to computer science. Iteration theories are axiomatizable by the Conway identities and the group-identities corresponding to the finite (simple) groups. In this paper we provide a complete analysis of these identities by giving a concrete description of the free theories in the variety axiomatized by the Conway identities and any given subcollection of the group-identities. It follows that when the group-identities are effectively given, the equational theory of the variety is decidable.<\/jats:p>","DOI":"10.1142\/s0218196700000145","type":"journal-article","created":{"date-parts":[[2003,4,22]],"date-time":"2003-04-22T07:48:21Z","timestamp":1050997701000},"page":"349-373","source":"Crossref","is-referenced-by-count":4,"title":["THE POWER OF THE GROUP-IDENTITIES FOR ITERATION"],"prefix":"10.1142","volume":"10","author":[{"given":"Z.","family":"\u00c9SIK","sequence":"first","affiliation":[{"name":"Department of Computer Science, Szeged, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,30]]},"reference":[{"key":"p_2","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1051\/ita\/1998321-300351","volume":"32","author":"Bern\u00e1tsky L.","year":"1998","journal-title":"RAIRO Theoretical Informatics and Applications"},{"key":"p_3","first-page":"26","volume":"9","author":"Bloom S. L.","year":"1980","journal-title":"SIAM J. Comput."},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1137\/0209039"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(85)90059-5"},{"key":"p_7","first-page":"52","volume":"841","author":"Bloom S. L.","year":"1994","journal-title":"LNCS"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00248-4"},{"key":"p_10","first-page":"175","volume":"80","author":"Elgot C. C.","year":"1975","journal-title":"Amsterdam"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233800"},{"key":"p_12","first-page":"183","volume":"14","author":"Z","year":"1980","journal-title":"Computational Linguistics and Computer Languages"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00240-X"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2746"},{"key":"p_16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00041-G"},{"key":"p_18","first-page":"95","volume":"1488","author":"Freyd P.","year":"1991","journal-title":"LNM"},{"key":"p_19","doi-asserted-by":"publisher","DOI":"10.2307\/2586843"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90395-I"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1965-0188316-1"},{"key":"p_23","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.50.5.869"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196700000145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T13:35:49Z","timestamp":1565184949000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196700000145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":17,"aliases":["10.1016\/s0218-1967(00)00014-5"],"journal-issue":{"issue":"03","published-online":{"date-parts":[[2012,4,30]]},"published-print":{"date-parts":[[2000,6]]}},"alternative-id":["10.1142\/S0218196700000145"],"URL":"https:\/\/doi.org\/10.1142\/s0218196700000145","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}