{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T11:47:52Z","timestamp":1773661672377,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T00:00:00Z","timestamp":1770422400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T00:00:00Z","timestamp":1770422400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1007\/s00500-025-11002-2","type":"journal-article","created":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T03:39:08Z","timestamp":1770435548000},"page":"1459-1474","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Menger algebras of term rewriting systems"],"prefix":"10.1007","volume":"30","author":[{"given":"Thodsaporn","family":"Kumduang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8818-6134","authenticated-orcid":false,"given":"Sorasak","family":"Leeratanavalee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,2,7]]},"reference":[{"issue":"6","key":"11002_CR1","doi-asserted-by":"publisher","first-page":"1101","DOI":"10.1142\/S0218196718500480","volume":"28","author":"E Aichinger","year":"2018","unstructured":"Aichinger E, Mudrinski N, Opr\u0161al J (2018) Complexity of term representations of finitary functions. Int J Algebra Comput 28(6):1101\u20131118","journal-title":"Int J Algebra Comput"},{"key":"11002_CR2","doi-asserted-by":"crossref","unstructured":"Baader F (1990) Rewrite systems for varieties of semigroups. In: Stickel M.E. (eds) 10th International Conference on Automated Deduction. CADE 1990. Lecture Notes in Computer Science, vol 449. Springer, Heidelberg, 396-410","DOI":"10.1007\/3-540-52885-7_102"},{"key":"11002_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752","volume-title":"Term rewriting and all that","author":"F Baader","year":"1998","unstructured":"Baader F, Nipkow T (1998) Term rewriting and all that. Cambridge University Press, New York, NY, USA"},{"key":"11002_CR4","doi-asserted-by":"crossref","unstructured":"Baaij C, Kuper J (2014) Using rewriting to synthesize functional languages to digital circuits. Trends in Functional Programming. TFP 2013. Lecture Notes in Computer Science, vol 8322. 17-33","DOI":"10.1007\/978-3-642-45340-3_2"},{"key":"11002_CR5","unstructured":"Bezem M, Klop JW, de Vrijer R (2003) Term rewriting systems by Terese. Cambridge tracts in theoretical computer science, Vol 55, Cambridge University Press"},{"issue":"2","key":"11002_CR6","first-page":"179","volume":"5","author":"K Denecke","year":"2003","unstructured":"Denecke K (2003) Menger algebras and clones of terms. East-West J Math 5(2):179\u2013193","journal-title":"East-West J Math"},{"issue":"6","key":"11002_CR7","doi-asserted-by":"publisher","DOI":"10.1142\/S1793557121500923","volume":"14","author":"K Denecke","year":"2021","unstructured":"Denecke K, Hounnon H (2021) Partial menger algebras of terms. Asian-Eur J Math 14(6):2150092","journal-title":"Asian-Eur J Math"},{"key":"11002_CR8","doi-asserted-by":"publisher","first-page":"85","DOI":"10.7151\/dmgaa.1106","volume":"26","author":"K Denecke","year":"2006","unstructured":"Denecke K, Jampachon P (2006) Regular elements and Green\u2019s relations in menger algebras of terms. Discuss Math Gen Algebra Appl 26:85\u2013109","journal-title":"Discuss Math Gen Algebra Appl"},{"key":"11002_CR9","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1155\/S0161171203202118","volume":"15","author":"K Denecke","year":"2003","unstructured":"Denecke K, Wismath SL (2003) Complexity of terms, composition and hypersubstitution. Int J Math Math Sci 15:959\u2013969","journal-title":"Int J Math Math Sci"},{"key":"11002_CR10","volume-title":"Universal algebra and applications in theoretical computer science","author":"K Denecke","year":"2002","unstructured":"Denecke K, Wismath SL (2002) Universal algebra and applications in theoretical computer science. Chapman and Hall\/CRC, Boca Raton-London-New Tork-Washington D.C"},{"key":"11002_CR11","doi-asserted-by":"publisher","unstructured":"Dershowitz N, Plaisted DA (2001) Chapter 9-Rewriting. Handbook of Automated Reasoning. North-Holland, pp 535\u2013610. https:\/\/doi.org\/10.1016\/B978-044450813-3\/50011-4","DOI":"10.1016\/B978-044450813-3\/50011-4"},{"key":"11002_CR12","doi-asserted-by":"publisher","DOI":"10.1515\/9783110269307","volume-title":"Algebras of multiplace functions","author":"WA Dudek","year":"2012","unstructured":"Dudek WA, Trokhimenko VS (2012) Algebras of multiplace functions. De Gruyter, Berlin"},{"key":"11002_CR13","first-page":"45","volume":"26","author":"WA Dudek","year":"2018","unstructured":"Dudek WA, Trokhimenko VS (2018) Menger Algebras of associative and self-distributive $$n$$-ary operations. Quasigroups Relat Syst 26:45\u201352","journal-title":"Quasigroups Relat Syst"},{"issue":"2","key":"11002_CR14","first-page":"260","volume":"55","author":"WA Dudek","year":"2018","unstructured":"Dudek WA, Trokhimenko VS (2018) Menger Algebras of idempotent $$n$$-ary operations. Stud Sci Math Hung 55(2):260\u2013269","journal-title":"Stud Sci Math Hung"},{"issue":"3","key":"11002_CR15","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1515\/gmj-2019-2072","volume":"28","author":"WA Dudek","year":"2021","unstructured":"Dudek WA, Trokhimenko VS (2021) Menger algebras of $$k$$-commutative $$n$$-place functions. Georgian Math J 28(3):355\u2013361","journal-title":"Georgian Math J"},{"issue":"4","key":"11002_CR16","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1017\/S0305004100027092","volume":"47","author":"T Evans","year":"1951","unstructured":"Evans T, Rees D (1951) On multiplicative systems defined by generators and relations. Math Proc Cambridge Philos Soc 47(4):637\u2013649","journal-title":"Math Proc Cambridge Philos Soc"},{"key":"11002_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1006\/jsco.1993.1046","volume":"16","author":"R Freese","year":"1993","unstructured":"Freese R, Jeiek J, Benton JB (1993) Term rewrite systems for lattice theory. J Symbolic Comput 16:279\u2013288","journal-title":"J Symbolic Comput"},{"issue":"8","key":"11002_CR18","doi-asserted-by":"publisher","first-page":"1362","DOI":"10.3390\/math8081362","volume":"8","author":"D Fuente","year":"2020","unstructured":"Fuente D, Garibo \u00d3, Conejero JA, Urchuegu\u00eda JF (2020) Rational design of a genetic finite state machine: combining biology, engineering, and mathematics for bio-computer research. Mathematics 8(8):1362","journal-title":"Mathematics"},{"issue":"2","key":"11002_CR19","doi-asserted-by":"publisher","first-page":"298","DOI":"10.3390\/math8020298","volume":"8","author":"S Gu","year":"2020","unstructured":"Gu S, Yang Y (2020) A deep learning algorithm for the Max-Cut problem Based on Pointer Network Structure with Supervised Learning and Reinforcement Learning Strategies. Mathematics 8(2):298","journal-title":"Mathematics"},{"issue":"1","key":"11002_CR20","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1093\/comjnl\/34.1.20","volume":"34","author":"M Hermann","year":"1991","unstructured":"Hermann M, Kirchner C, Kirchner H (1991) Implementations of Term Rewriting Systems. Comput J 34(1):20\u201333","journal-title":"Comput J"},{"key":"11002_CR21","doi-asserted-by":"crossref","unstructured":"Klima O, Korbelar M, Polak L (2011) Rewriting in Varieties of Idempotent Semigroups, In: Winkler F. (eds) Algebraic Informatics. CAI 2011. Lecture Notes in Computer Science, vol 6742. Springer, Berlin, Heidelberg, 185-200","DOI":"10.1007\/978-3-642-21493-6_12"},{"key":"11002_CR22","doi-asserted-by":"crossref","unstructured":"Knuth DE, Bendix PB (1983) Simple word problems in universal algebras. In Automation of Reasoning springer, 342-376","DOI":"10.1007\/978-3-642-81955-1_23"},{"key":"11002_CR23","first-page":"223","volume":"61","author":"T Kumduang","year":"2021","unstructured":"Kumduang T, Leeratanavalee S (2021) Left translations and isomorphism theorems for Menger algebras of rank $$n$$. Kyungpook Math J 61:223\u2013237","journal-title":"Kyungpook Math J"},{"issue":"9","key":"11002_CR24","doi-asserted-by":"publisher","first-page":"2250162","DOI":"10.1142\/S1793557122501625","volume":"15","author":"T Kumduang","year":"2022","unstructured":"Kumduang T, Leeratanavalee S (2022) Menger systems of idempotent cyclic and weak near-unanimity multiplace functions. Asian-Eur J Math 15(9):2250162","journal-title":"Asian-Eur J Math"},{"key":"11002_CR25","first-page":"409","volume":"20","author":"K Menger","year":"1961","unstructured":"Menger K (1961) The algebra of functions: past, present, future. Rend Math 20:409\u2013430","journal-title":"Rend Math"},{"issue":"3","key":"11002_CR26","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/s00012-016-0391-2","volume":"76","author":"J Oprsal","year":"2016","unstructured":"Oprsal J (2016) A relational description of higher commutators in Ml\u2019cev varieties. Algebra Universalis 76(3):367\u2013383","journal-title":"Algebra Universalis"},{"key":"11002_CR27","doi-asserted-by":"crossref","unstructured":"Oury N, Plotkin GD (2011) Coloured stochastic multilevel multiset rewriting. In: Proc. CMSB. ACM, 171\u2013181","DOI":"10.1145\/2037509.2037534"},{"issue":"2","key":"11002_CR28","doi-asserted-by":"publisher","first-page":"260","DOI":"10.3390\/math8020260","volume":"8","author":"K Wattanatripop","year":"2020","unstructured":"Wattanatripop K, Changphas T (2020) Clones of terms of a fixed variable. Mathematics 8(2):260","journal-title":"Mathematics"},{"issue":"4","key":"11002_CR29","first-page":"1103","volume":"16","author":"K Wattanatripop","year":"2021","unstructured":"Wattanatripop K, Changphas T (2021) The length of terms and their measurement. Int J Math Comput Sci 16(4):1103\u20131116","journal-title":"Int J Math Comput Sci"},{"key":"11002_CR30","unstructured":"Winkler S, Middeldorp A (2020) Tools in term rewriting for education, In: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, arXiv:2002.12554,"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-025-11002-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-025-11002-2","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-025-11002-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:47:36Z","timestamp":1773658056000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-025-11002-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,7]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["11002"],"URL":"https:\/\/doi.org\/10.1007\/s00500-025-11002-2","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2,7]]},"assertion":[{"value":"5 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 December 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 February 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}