✦ LIBER ✦

Algebraic methods for interactive proof systems

✍ Scribed by Lund, Carsten; Fortnow, Lance; Karloff, Howard

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic methods for interactive proof

✍ Lund, Carsten; Fortnow, Lance; Karloff, Howard 📂 Article 📅 1992 🏛 Association for Computing Machinery 🌐 English ⚖ 740 KB

[IEEE Comput. Soc. Press [1990] 31st Ann

✍ Lund, C.; Fortnow, L.; Karloff, H.; Nisan, N. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 656 KB

Algebraic proof systems over formulas

✍ Dima Grigoriev; Edward A. Hirsch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 307 KB

Memorizable interactive proof and zero-k

✍ Ning Chen; Jia-Wei Rong 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 591 KB

Formal methods for interactive systems

✍ Antonio Cerone; Paul Curzon 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 71 KB

A Proof System for Contact Relation Alge

✍ Ivo Düntsch; Ewa Orłowska 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 133 KB