This page shows all presentations of this author published in EasyChair Smart Slide.
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)
Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane