Symbiose Project Team

Home

Scientific Axes

Members

Publications

Belleann\ée, C and Vorc'h, R (1994), "A linear tableau proof for the pigeonhole formulae using symmetry", Workshop on Theorem Proving with Analytic Tableaux and Related Methods: 43-49.