✦ LIBER ✦

The constructive reals as a Java library

✍ Scribed by Hans-J. Boehm

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability in the Constructive Theory

✍ Miklós Erdélyi-Szabó 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 590 KB

## Abstract We show that various fragments of the intuitionistic/constructive theory of the reals are decidable.

Mapping PEARL's high-level real-time con

✍ R. Belschner; C.E. Pereira 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 582 KB

Mapping PEARL's high-level real-time con

✍ Ralf Belschner; Carlos E Pereira 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 760 KB

Carbohydrates as Versatile Platforms in

✍ Mattie S. M. Timmer; Steven H. L. Verhelst; Gijsbert M. Grotenbreg; Mark Overhan 📂 Article 📅 2005 🏛 John Wiley and Sons ⚖ 8 KB 👁 2 views

## Abstract For Abstract see ChemInform Abstract in Full Text.

The case for Java as a programming langu

✍ Van Hoff, A. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 193 KB

A coverage construction of the reals and

✍ Harold Simmons 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 445 KB