Author:
Bergstra Jan A.,Tucker John V.
Publisher
Springer International Publishing
Reference21 articles.
1. Bergstra, J.A., Tucker, J.V.: Algebraic specifications of computable and semicomputable data types. Theoret. Comput. Sci. 50, 137–181 (1987)
2. Bergstra, J.A.: Division by zero: a survey of options. Transmathematica 1(1), 1–20 (2019). https://transmathematica.org/index.php/journal/article/view/17
3. Bergstra, J.A., Hirshfeld, Y., Tucker, J.V.: Meadows and the equational specification of division. Theoret. Comput. Sci. 410(12–13), 1261–1271 (2009)
4. Bergstra, J.A., Middelburg, C.A.: Inversive meadows and divisive meadows. J. Appl. Logic 9(3), 203–220 (2011)
5. Bergstra, J.A., Middelburg, C.A.: Transformation of fractions into simple fractions in divisive meadows. J. Appl. Logic 16, 92–110 (2016)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献