{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T16:53:24Z","timestamp":1753894404637,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We study operations on fixpoint equation systems (FES) over arbitrary\ncomplete lattices. We investigate under which conditions these operations, such\nas substituting variables by their definition, and swapping the ordering of\nequations, preserve the solution of a FES. We provide rigorous,\ncomputer-checked proofs. Along the way, we list a number of known and new\nidentities and inequalities on extremal fixpoints in complete lattices.<\/jats:p>","DOI":"10.46298\/lmcs-20(3:5)2024","type":"journal-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T13:35:07Z","timestamp":1720618507000},"source":"Crossref","is-referenced-by-count":0,"title":["Operations on Fixpoint Equation Systems"],"prefix":"10.46298","volume":"Volume 20, Issue 3","author":[{"given":"Thomas","family":"Neele","sequence":"first","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2024,7,10]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/13913\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/13913\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T13:35:07Z","timestamp":1720618507000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/11199"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-20(3:5)2024","relation":{"has-preprint":[{"id-type":"arxiv","id":"2304.07162v2","asserted-by":"subject"},{"id-type":"arxiv","id":"2304.07162v1","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2304.07162","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2304.07162","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2024,7,10]]},"article-number":"11199"}}