This page shows all presentations of this author published in EasyChair Smart Slide.
An Isabelle/HOL Formalization of the SCL(FOL) Calculus
Martin Bromberger, Martin Desharnais and Christoph Weidenbach