A Taxonomy of Proof Systems (1997)

by Oded Goldreich
Venue:BASIC RESEARCH IN COMPUTER SCIENCE, CENTER OF THE DANISH NATIONAL RESEARCH FOUNDATION
Citations:14 - 2 self