A Logic of Interactive Proofs.

David Lehnherr, Zoran Ognjanovic, Thomas Studer

Browse the full LFCS paper archive.