Documents Sciences formelles Étude et instances de systèmes de preuves ordonnées - École Jeunes Chercheurs en Programmation Guillaume Burel
