EasyChair Smart SlideDocs/Log in
Conference: PAAR-2018 (Practical aspects of automated reasoning)

This page shows all presentations from this conference published in EasyChair Smart Slide.

A Verified Simple Prover for First-Order Logic

A Verified Simple Prover for First-Order Logic

Jørgen Villadsen, Anders Schlichtkrull and Andreas Halkjær From

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

Dynamic Strategy Priority: Empower the strong and abandon the weak

Dynamic Strategy Priority: Empower the strong and abandon the weak

Michael Rawson and Giles Reger

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