✦ LIBER ✦

Complexity of Presburger Arithmetic with Fixed Quantifier Dimension

✍ Scribed by U. Schöning

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of presburger arithmetic

✍ Martin Fürer 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 683 KB

Generic Complexity of Presburger Arithme

✍ Alexander N. Rybalov 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 270 KB

A 222pn upper bound on the complexity of

✍ Derek C. Oppen 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 605 KB

Complexity of the word problem for commu

✍ Dung T. Huynh 📂 Article 📅 1985 🏛 Springer-Verlag 🌐 English ⚖ 578 KB

Arithmetical representations of enumerab

✍ Yu. V. Matiyasevich 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 262 KB

Complexity of Linear Problems with a Fix

✍ Erich Novak; Henryk Woźniakowski 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 190 KB