{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T18:42:38Z","timestamp":1754160158118,"version":"3.41.2"},"reference-count":18,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T00:00:00Z","timestamp":1698883200000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,22]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Eager equality is a novel semantics for equality in the presence of partial operations. We consider term rewriting for eager equality for arithmetic in which division is a partial operator. We use common meadows which are essentially fields that contain an absorptive element $\\bot $. The idea is that term rewriting is supposed to be semantics preserving for non-$\\bot $ terms only. We show soundness and adequacy results for eager term rewriting w.r.t. the class of all common meadows. However, we show that an eager term rewrite system which is complete for common meadows of rational numbers is not easy to obtain, if it exists at all.<\/jats:p>","DOI":"10.1093\/comjnl\/bxad106","type":"journal-article","created":{"date-parts":[[2023,10,12]],"date-time":"2023-10-12T01:28:53Z","timestamp":1697074133000},"page":"1866-1871","source":"Crossref","is-referenced-by-count":2,"title":["Eager Term Rewriting For The Fracterm Calculus Of Common Meadows"],"prefix":"10.1093","volume":"67","author":[{"given":"Jan A","family":"Bergstra","sequence":"first","affiliation":[{"name":"Informatics Institute, University of Amsterdam , Science Park 900, 1098 XH Amsterdam, The","place":["Netherlands"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John V","family":"Tucker","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Swansea University , Bay Campus, Fabian Way, Swansea, SA1 8EN, Wales,","place":["United Kingdom"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2023,11,1]]},"reference":[{"key":"2025072523162244500_ref1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3580365","article-title":"Eager equality for rational number arithmetic","volume":"24","author":"Bergstra","year":"2023","journal-title":"ACM Trans. Comput. Log."},{"key":"2025072523162244500_ref2","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-319-15545-6_6","article-title":"Division by zero in common meadows","volume-title":"Software, Services, and Systems: Wirsing Festschrift","author":"Bergstra","year":"2015"},{"year":"2021","author":"Bergstra","article-title":"Division by zero in common meadows","key":"2025072523162244500_ref3"},{"key":"2025072523162244500_ref4","article-title":"On the axioms of common meadows: Fracterm calculus, flattening and incompleteness","author":"Bergstra","year":"2022","journal-title":"Comput. J."},{"volume-title":"Introduction to metamathematics","year":"1952","author":"Kleene","key":"2025072523162244500_ref5"},{"key":"2025072523162244500_ref6","doi-asserted-by":"crossref","DOI":"10.1145\/1219092.1219095","article-title":"The rational numbers as an abstract data type","volume":"54","author":"Bergstra","year":"2007","journal-title":"J. ACM"},{"volume-title":"Specification of Abstract Data Types","year":"1997","author":"Ehrich","key":"2025072523162244500_ref7"},{"key":"2025072523162244500_ref8","doi-asserted-by":"crossref","DOI":"10.36285\/tm.57","article-title":"Totalising partial algebras: teams and splinters","author":"Bergstra","year":"2022","journal-title":"Transmathematica"},{"volume-title":"Matiyasevich Hilbert\u2019s Tenth Problem","year":"1993","author":"Yuri","key":"2025072523162244500_ref9"},{"key":"2025072523162244500_ref10","first-page":"344","volume-title":"Undecidability in number theory, Notices of the AMS","author":"Poonen","year":"2008"},{"key":"2025072523162244500_ref11","first-page":"357","article-title":"Effective algebras, Samson Abramsky and Dov Gabbay and Tom Maibaum (eds)","volume-title":"Handbook of Logic in Computer Science. Volume IV: Semantic Modelling","author":"Stoltenberg-Hansen","year":"1995"},{"key":"2025072523162244500_ref12","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/S0049-237X(99)80028-7","article-title":"Computable rings and fields","volume-title":"Handbook of Computability Theory, Elsevier","author":"Stoltenberg-Hansen","year":"1999"},{"year":"2022","author":"Bergstra","article-title":"A complete finite equational axiomatisation of the fracterm calculus for common meadows","key":"2025072523162244500_ref13"},{"year":"1997","author":"Setzer","article-title":"Wheels (draft)","key":"2025072523162244500_ref14"},{"key":"2025072523162244500_ref15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1017\/S0960129503004110","article-title":"Wheels \u2013 on division by zero","volume":"14","author":"Carlstr\u00f6m","year":"2004","journal-title":"Math. Struct. Comput. Sci."},{"key":"2025072523162244500_ref16","first-page":"649902","article-title":"Perspecx Machine VIII, axioms of transreal arithmetic","volume-title":"Proc. SPIE 6499. Vision Geometry XV","author":"Anderson","year":"2007"},{"key":"2025072523162244500_ref17","first-page":"11","article-title":"Construction of the transreal numbers and algebraic transfields","volume":"46","author":"dos Reis","year":"2016","journal-title":"IAENG Int. J. Appl. Math."},{"key":"2025072523162244500_ref18","article-title":"Review of Suppes 1957 proposals for division by zero","volume":"2021","author":"Anderson","year":"2021","journal-title":"Transmathematica"}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/comjnl\/article-pdf\/67\/5\/1866\/58307818\/bxad106.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/comjnl\/article-pdf\/67\/5\/1866\/58307818\/bxad106.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T03:16:29Z","timestamp":1753499789000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article\/67\/5\/1866\/7335813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,1]]},"references-count":18,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2023,11,1]]},"published-print":{"date-parts":[[2024,6,22]]}},"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxad106","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"type":"print","value":"0010-4620"},{"type":"electronic","value":"1460-2067"}],"subject":[],"published-other":{"date-parts":[[2024,5]]},"published":{"date-parts":[[2023,11,1]]}}}