✦ LIBER ✦

Existential Definability with Bounds on Archimedean Valuations

✍ Scribed by Alexandra Shlapentokh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Decidability of Subtyping with Bo

✍ Stefan Wehr; Peter Thiemann 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 518 KB

Singular evolution integro-differential

✍ Favini, A.; Lorenzi, A.; Tanabe, H. 📂 Article 📅 2005 🏛 Taylor and Francis Group 🌐 English ⚖ 301 KB

A Note on Non-Closure Property of Sublog

✍ Jian-Liang Xu; Yun-Xia Liu; Tsunehiro Yoshinaga 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 272 KB