Author:
Blanck Jens,Stoltenberg-Hansen Viggo,Tucker John V.
Reference23 articles.
1. Meadows and the equational specification of division;Bergstra;Theor. Comput. Sci.,2009
2. Constructive algebras I;Mal′cev;Uspehi Mat. Nauk,1961
3. Notation systems and recursive ordered fields;Moschovakis;Compos. Math.,1965
4. A real number structure that is effectively categorical;Hertling;Math. Log. Q.,1999
5. Theorie der Numerierungen;Ershov;Z. Math. Log. Grundl. Math.,1973
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Models of computation for partial functions on the reals;Journal of Logical and Algebraic Methods in Programming;2015-03