EasyChair Smart SlideDocs/Log in
Author: Gabriel Ebner

This page shows all presentations of this author published in EasyChair Smart Slide.

Fast cut-elimination using proof terms: an empirical study

Fast cut-elimination using proof terms: an empirical study

Gabriel Ebner

Efficient translation of sequent calculus proofs into natural deduction proofs

Efficient translation of sequent calculus proofs into natural deduction proofs

Gabriel Ebner and Matthias Schlaipfer

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair