EasyChair Smart SlideUser guide
Author: Anders Schlichtkrull

This page shows all presentations of this author 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

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann

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