EasyChair Smart SlideUser guide
Author: Matthias Schlaipfer

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

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: 1
Copyright © 2002 – 2026 EasyChair