Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

MLQ
2008

favoriteEmaildiscussreport

50views more MLQ 2008»

A note on the axiomatisation of real numbers

13 years 10 months ago

A note on the axiomatisation of real numbers

Download hlombardi.free.fr

Thierry Coquand, Henri Lombardi

Real-time Traffic

MLQ 2008 |

claim paper

Related Content

» A note on univoque selfSturmian numbers

» Recursive Approximability of Real Numbers

» Automata Borel functions and real numbers in Pisot base

» Computation of relative class numbers of CMfields by using Hecke Lfunctions

» Convex Polyhedra Realizing Given Face Areas

» Reasoning Support for Expressive Ontology Languages Using a Theorem Prover

» Verification Performance Analysis and Controller Synthesis for RealTime Systems

» A Note on the Computation of All Zeros of Simple Quaternionic Polynomials

» The Dedekind Reals in Abstract Stone Duality

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	MLQ
Authors	Thierry Coquand, Henri Lombardi

Comments (0)