Algebraic Proof Systems: An Algebraic Approach to Analysing Proofs (Invited Talk).

Nutan Limaye

Browse the full ICALP paper archive.