Henry DeYoung and Klaas Pruiksma: Semi-Axiomatic Sequent Calculus (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-12

Authors: Henry DeYoung, Frank Pfenning, and Klaas Pruiksma

Aired: 2020-02-04 13:00:00 CEST (UTC+2)