𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proof Checking and Knowledge by Intellection

Book ID
110356290
Publisher
Springer Netherlands
Year
1998
Tongue
English
Weight
102 KB
Volume
92
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Interactive and probabilistic proof-chec
Interactive and probabilistic proof-checking
✍ Luca Trevisan πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 112 KB

The notion of e cient proof-checking has always been central to complexity theory, and it gave rise to the deΓΏnition of the class NP. In the last 15 years there has been a number of exciting, unexpected and deep developments in complexity theory that exploited the notion of randomized and interactiv