Author:
Berger Ulrich,Seisenberger Monika
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Applied Logic Series;H. Benl,1998
2. Lecture Notes in Computer Science;U. Berger,2009
3. Berger, U.: Realisability and adequacy for (co)induction. In: Bauer, A., Hertling, P., Ko, K.-I. (eds.) 6th Int’l Conf. on Computability and Complexity in Analysis (Ljubljana), Dagstuhl, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)
4. Berger, U., Hou, T.: Coinduction for exact real number computation. Theory of Computing Systems 43, 394–409 (2008)
5. Bertot, Y.: Affine functions and series with co-inductive real numbers. Math. Struct. Comput. Sci. 17, 37–63 (2007)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献