Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference18 articles.
1. Andersson, P.: Exact real arithmetic with automatic error estimates in a computer algebra system. Master’s thesis, Mathematics Department, Uppsala University (2001)
2. Berger, J.: Exact calculation of inverse functions. Math. Log. Q. 51(2), 201–205 (2005)
3. Berger, U.: Uniform Heyting arithmetic. Ann. Pure Appl. Log. 133, 125–148 (2005)
4. Lecture Notes in Comput. Sci.;U. Berger,1993
5. Berger, U., Eberl, M., Schwichtenberg, H.: Term rewriting for normalization by evaluation. Inf. Comput. 183, 19–42 (2003)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献