A Co-inductive Approach to Real Numbers

From BibNetWiki

Jump to: navigation, search

Alberto Ciaffaglione, Pietro Di Gianantonio - A Co-inductive Approach to Real Numbers

@j-LECT-NOTES-COMP-SCI 1956:114--??, 2000

Author : Alberto Ciaffaglione, Pietro Di Gianantonio
Title : A Co-inductive Approach to Real Numbers
Publication Type : @j-LECT-NOTES-COMP-SCI -
Address :
Date : 2000

List of Papers citing this one.

List of Papers cited by this one.

Retrieved from "http://bibnetwiki.org/wiki/A_Co-inductive_Approach_to_Real_Numbers"

Categories: Alberto Ciaffaglione Paper | Pietro Di Gianantonio Paper | Paper | Paper Year 2000 | LNCS 1956

Views

Personal tools

Log in / create account

Search

Toolbox

related