✦ LIBER ✦

Elimination of Skolem functions for monotone formulas in analysis

✍ Scribed by Ulrich Kohlenbach

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An explicit construction of short monoto

✍ Mark Kleiman; Nicholas Pippenger 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 818 KB

On Optimization of “Interval” and “Point

✍ S. V. Borodachev 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 130 KB

Comparison theorems for monotone Newton-

✍ J.P. Milaszewicz 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 687 KB

Optimization of interval formulas for ap

✍ V. V. Babenko 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 177 KB

Computer-Aided Analysis of Transformatio

✍ O. S. Paramonova; A. W. Niukkanen 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 59 KB

Analysis of Algorithms for the Evaluatio

✍ Breitbart, Y.; Gal, S. 📂 Article 📅 1978 🏛 IEEE 🌐 English ⚖ 752 KB