[Mic00] Computationally Sound Proofs

Authors: Silvio Micali | Venue: SIAM Journal on Computing 2000 | Source

Abstract

TODO — abstract.

BibTeX

Copy

@Article{SIAMJC:Micali00,
  author = {Silvio Micali},
  title = {Computationally Sound Proofs},
  pages = {1253--1298},
  journal = {{SIAM} Journal on Computing},
  volume = {30},
  number = {4},
  year = {2000},
  doi = {10.1137/S0097539795284959},
  url = {https://doi.org/10.1137/S0097539795284959},
}