DMCA

Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic (2001)

by Andreas Abel , Bor-yuh Evan Chang , Frank Pfenning
Venue:IJCAR WORKSHOP ON PROOF TRANSFORMATIONS, PROOF PRESENTATIONS AND COMPLEXITY OF PROOFS (PTP-01), HTTP: //WWW.TCS.INFORMATIK.UNI-MUENCHEN.DE/~ABEL/PTP01.PS.GZ
Citations:29 - 0 self