EasyChair Smart SlideDocs/Log in
Author: Giles Reger

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

Restricted Combinatory Unification

Restricted Combinatory Unification

Ahmed Bhayat and Giles Reger

Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

Michael Rawson and Giles Reger

Induction in Saturation-Based Proof Search

Induction in Saturation-Based Proof Search

Giles Reger and Andrei Voronkov

Testing ATP folklore: a statistical analysis of Vampire proofs.

Testing ATP folklore: a statistical analysis of Vampire proofs.

Michael Rawson and Giles Reger

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: 5
Copyright © 2002 – 2024 EasyChair