EasyChair Smart SlideDocs/Log in
Author: Uwe Waldmann

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

Superposition with Lambdas

Superposition with Lambdas

Alexander Bentkamp, Jasmin Christian Blanchette, Sophie Tourret, Petar Vukmirović and Uwe Waldmann

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

Superposition for Lambda-Free Higher-Order Logic

Superposition for Lambda-Free Higher-Order Logic

Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes and Uwe Waldmann

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