Interactive Proof Systems for Automated Reasoning

Speaker
Javier Esparza
Affiliation
Technical University of Munich
Type
Scientific Talk

Abstract

Abstract to be determined.