✦ LIBER ✦

Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs

✍ Scribed by Niggl, Karl-Heinz; Wunderlich, Henning

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An entire space polynomial-time algorith

✍ Da Gang Tian 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 315 KB

Polynomial Approximations for Continuous

✍ Bampou, Dimitra; Kuhn, Daniel 📂 Article 📅 2012 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 350 KB

A simple polynomial-time rescaling algor

✍ John Dunagan; Santosh Vempala 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 198 KB

A new polynomial-time algorithm for line

✍ N. Karmarkar 📂 Article 📅 1984 🏛 Springer-Verlag 🌐 English ⚖ 822 KB

A simple complexity proof for a polynomi

✍ Paul Tseng 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 319 KB

Time-Space Harmonic Polynomials for Cont

✍ Arindam Sengupta 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 183 KB