✦ LIBER ✦

Knowledge of proofs

✍ Scribed by Peter Pagin

Publisher: Springer Netherlands
Year: 1994
Tongue: English
Weight: 822 KB
Volume: 13
Category: Article
ISSN: 0167-7411
DOI: 10.1007/bf00763508

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Knowledge-based proof planning

✍ Erica Melis; Jörg Siekmann 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 634 KB

Knowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which swings the motivational pendulum back to its AI origins in that it employs and further develops many AI principles and techniques such as hierarchical planning, knowledge representation in frames and control-ru

Secondary teachers’ knowledge of element

Secondary teachers’ knowledge of elementary number theory proofs: the case of general-cover proofs

✍ Michal Tabach; Esther Levenson; Ruthi Barkai; Pessia Tsamir; Dina Tirosh; Tommy 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 549 KB

On Relationships between Statistical Zer

On Relationships between Statistical Zero-Knowledge Proofs

✍ Tatsuaki Okamoto 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 537 KB

This paper solves several fundamental open problems about statistical zero-knowledge interactive proofs (SZKIPs). The following two theorems are proven: v If language L has a statistical zero-knowledge interactive proof against an honest verifier, then L has a statistical zero-knowledge ``publiccoi

Memorizable interactive proof and zero-k

Memorizable interactive proof and zero-knowledge proof systems

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

Group commitment protocol based on zero

Group commitment protocol based on zero knowledge proofs

✍ Tzong-Chen Wu; Tzong-Sun Wu 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 409 KB

Which Languages Have 4-Round Zero-Knowle

Which Languages Have 4-Round Zero-Knowledge Proofs?

✍ Jonathan Katz 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 283 KB