Author:Julie Cailler

Publications
A Generic Deskolemization Strategy Johann Rosain, Richard Bonichon, Julie Cailler and Olivier Hermant In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description) Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane EasyChair Preprint 8676