The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thierry Boy de la Tour: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Thierry Boy de la Tour
    Some Techniques of Isomorph-Free Search. [Citation Graph (0, 0)][DBLP]
    AISC, 2000, pp:240-252 [Conf]
  5. Thierry Boy de la Tour
    A Note on Symmetry Heuristics in SEM. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:181-194 [Conf]
  6. Thierry Boy de la Tour
    Minimizing the Number of Clauses by Renaming. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:558-572 [Conf]
  7. Thierry Boy de la Tour
    Ground Resolution with Group Computations on Semantic Symmetries. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:478-492 [Conf]
  8. 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]
  9. Thierry Boy de la Tour, Mnacho Echenim
    Overlapping Leaf Permutative Equations. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:430-444 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Thierry Boy de la Tour, Mnacho Echenim
    Determining Unify-Stable Presentations. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:63-77 [Conf]
  23. 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]
  24. 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]

  25. Unification and Matching Modulo Leaf-Permutative Equational Presentations. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002