✦ LIBER ✦

The Undecidability of Exponential Diophantine Equationsby Julia Robinson

✍ Scribed by Review by: Hartley Rogers, Jr

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Decision Problem for Exponential Dio

✍ Review by: Hartley Rogers, Jr. 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 356 KB

The Undecidability of Algebraic Rings an

✍ Review by: Martin Davis 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 354 KB

A Decision Method for p-Adic Integral Ze

✍ Review by: Julia Robinson 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 194 KB

The Decision Problem for Exponential Dio

✍ Martin Davis, Hilary Putnam and Julia Robinson 📂 Article 📅 1961 🏛 John Hopkins University Press 🌐 English ⚖ 832 KB

A Basis for the Mechanization of the The

✍ Review by: Martin Davis 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 213 KB

An explicit diophantine definition of th

✍ Martin Davis 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 274 KB