EasyChair Smart SlideHelp/Log in
Author: Jakob Rath

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

Presentations in this collection: 1
Copyright © 2002 – 2021 EasyChair