EasyChair Smart SlideUser guide
Author: Simon Robillard

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

Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)

Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)

Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane

Loop Analysis by Quantification over Iterations

Loop Analysis by Quantification over Iterations

Simon Robillard, Bernhard Gleiss and Laura Kovács

Superposition with Datatypes and Codatatypes

Superposition with Datatypes and Codatatypes

Jasmin Christian Blanchette, Nicolas Peltier and Simon Robillard

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