de la Tour, Thierry Boy

2 publications

IJCAI 1995 On the Complexity of Extending Ground Resolution with Symmetry Rules Thierry Boy de la Tour, Stéphane Demri

AAAI 1987 Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching Thierry Boy de la Tour, Ricardo Caferra