Logic of Non Monotonic Interactive Proofs

Lecture Series / Conference / Course : 
ICLA International Conference on Logic and its Applications
Subject: 
TCS
Speaker: 
Simon Kramer
Youtube-url: 
https://youtu.be/QUxshXaBU2g
Date: 
Friday, January 11, 2013