EasyChair Smart SlideUser guide
Author: Bernhard Gleiss

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

Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire

Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire

Bernhard Gleiss, Laura Kovács and Jakob Rath

Loop Analysis by Quantification over Iterations

Loop Analysis by Quantification over Iterations

Simon Robillard, Bernhard Gleiss and Laura Kovács

Local Soundness for QBF Calculi

Local Soundness for QBF Calculi

Martin Suda and Bernhard Gleiss

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