|
Search the dblp DataBase
Thierry Boy de la Tour:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thierry Boy de la Tour, Ricardo Caferra
Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching. [Citation Graph (0, 0)][DBLP] AAAI, 1987, pp:95-99 [Conf]
- Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang
Clifford Term Rewriting for Geometric Reasoning in 3D. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1998, pp:130-155 [Conf]
- Thierry Boy de la Tour, Gilles Chaminade
The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. [Citation Graph (0, 0)][DBLP] AIMSA, 1990, pp:3-12 [Conf]
- Thierry Boy de la Tour
Some Techniques of Isomorph-Free Search. [Citation Graph (0, 0)][DBLP] AISC, 2000, pp:240-252 [Conf]
- Thierry Boy de la Tour
A Note on Symmetry Heuristics in SEM. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:181-194 [Conf]
- Thierry Boy de la Tour
Minimizing the Number of Clauses by Renaming. [Citation Graph (0, 0)][DBLP] CADE, 1990, pp:558-572 [Conf]
- Thierry Boy de la Tour
Ground Resolution with Group Computations on Semantic Symmetries. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:478-492 [Conf]
- Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
Some Tools for an Inference Laboratory (ATINF). [Citation Graph (0, 0)][DBLP] CADE, 1988, pp:744-745 [Conf]
- Thierry Boy de la Tour, Mnacho Echenim
Overlapping Leaf Permutative Equations. [Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:430-444 [Conf]
- Thierry Boy de la Tour
On the Complexity of Finite Sorted Algebras. [Citation Graph (0, 0)][DBLP] FTP (LNCS Selection), 1998, pp:95-108 [Conf]
- Thierry Boy de la Tour, Stéphane Demri
On the Complexity of Extending Ground Resolution with Symmetry Rules. [Citation Graph (0, 0)][DBLP] IJCAI, 1995, pp:289-297 [Conf]
- Thierry Boy de la Tour, Ricardo Caferra
A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. [Citation Graph (0, 0)][DBLP] ISSAC, 1988, pp:402-406 [Conf]
- Thierry Boy de la Tour, Mnacho Echenim
NP-Completeness Results for Deductive Problems on Stratified Terms. [Citation Graph (0, 0)][DBLP] LPAR, 2003, pp:317-331 [Conf]
- Thierry Boy de la Tour, Christoph Kreitz
Building Proofs by Analogy via the Curry-Horward Isomorphism. [Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:202-213 [Conf]
- Thierry Boy de la Tour, Mnacho Echenim
Unification in a Class of Permutative Theories. [Citation Graph (0, 0)][DBLP] RTA, 2005, pp:105-119 [Conf]
- Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
Some Tools for an Inference Laboratory (ATINF). [Citation Graph (0, 0)][DBLP] STACS, 1988, pp:395-396 [Conf]
- Maria Paola Bonacina, Thierry Boy de la Tour
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:2, pp:1-3 [Journal]
- Thierry Boy de la Tour, Prakash Countcham
An Isomorph-Free SEM-Like Enumeration of Models. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:2, pp:91-113 [Journal]
- Thierry Boy de la Tour, Mnacho Echenim
On Leaf Permutative Theories and Occurrence Permutation Groups. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
- Thierry Boy de la Tour, Mnacho Echenim
On the Complexity of Deduction Modulo Leaf Permutative Equations. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:33, n:3-4, pp:271-317 [Journal]
- Thierry Boy de la Tour
An Optimality Result for Clause Form Translation. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1992, v:14, n:4, pp:283-302 [Journal]
- Thierry Boy de la Tour, Mnacho Echenim
Determining Unify-Stable Presentations. [Citation Graph (0, 0)][DBLP] RTA, 2007, pp:63-77 [Conf]
- Myla Archer, Thierry Boy de la Tour, César Muñoz
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:1-2 [Journal]
- Thierry Boy de la Tour, Mnacho Echenim
Permutative rewriting and unification. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:4, pp:624-650 [Journal]
Unification and Matching Modulo Leaf-Permutative Equational Presentations. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
|