Author:
Bergstra J. A.,Tucker J. V.
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Wheel of Rational Numbers as an Abstract Data Type;Recent Trends in Algebraic Development Techniques;2021
2. Arithmetical datatypes with true fractions;Acta Informatica;2020-01-13
3. On system rollback and totalized fields;The Journal of Logic and Algebraic Programming;2011-11
4. Meadows and the equational specification of division;Theoretical Computer Science;2009-03