dblp.uni-trier.dewww.uni-trier.de

Thierry Boy de la Tour Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
25EEThierry Boy de la Tour, Mnacho Echenim, Paliath Narendran: Unification and Matching Modulo Leaf-Permutative Equational Presentations. IJCAR 2008: 332-347
2007
24EEThierry Boy de la Tour, Mnacho Echenim: Determining Unify-Stable Presentations. RTA 2007: 63-77
23EEMyla Archer, Thierry Boy de la Tour, César Muñoz: Preface. Electr. Notes Theor. Comput. Sci. 174(11): 1-2 (2007)
22EEThierry Boy de la Tour, Mnacho Echenim: Permutative rewriting and unification. Inf. Comput. 205(4): 624-650 (2007)
2005
21EEThierry Boy de la Tour, Mnacho Echenim: Unification in a Class of Permutative Theories. RTA 2005: 105-119
20EEMaria Paola Bonacina, Thierry Boy de la Tour: Preface. Electr. Notes Theor. Comput. Sci. 125(2): 1-3 (2005)
19EEThierry Boy de la Tour, Prakash Countcham: An Isomorph-Free SEM-Like Enumeration of Models. Electr. Notes Theor. Comput. Sci. 125(2): 91-113 (2005)
2004
18EEThierry Boy de la Tour, Mnacho Echenim: Overlapping Leaf Permutative Equations. IJCAR 2004: 430-444
17EEThierry Boy de la Tour, Mnacho Echenim: On the Complexity of Deduction Modulo Leaf Permutative Equations. J. Autom. Reasoning 33(3-4): 271-317 (2004)
2003
16EEThierry Boy de la Tour, Mnacho Echenim: NP-Completeness Results for Deductive Problems on Stratified Terms. LPAR 2003: 317-331
15EEThierry Boy de la Tour, Mnacho Echenim: On Leaf Permutative Theories and Occurrence Permutation Groups. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
2002
14EEThierry Boy de la Tour: A Note on Symmetry Heuristics in SEM. CADE 2002: 181-194
2000
13EEThierry Boy de la Tour: Some Techniques of Isomorph-Free Search. AISC 2000: 240-252
1998
12EEThierry Boy de la Tour, Stéphane Fèvre, Dongming Wang: Clifford Term Rewriting for Geometric Reasoning in 3D. Automated Deduction in Geometry 1998: 130-155
11EEThierry Boy de la Tour: On the Complexity of Finite Sorted Algebras. FTP (LNCS Selection) 1998: 95-108
1996
10EEThierry Boy de la Tour: Ground Resolution with Group Computations on Semantic Symmetries. CADE 1996: 478-492
1995
9 Thierry Boy de la Tour, Stéphane Demri: On the Complexity of Extending Ground Resolution with Symmetry Rules. IJCAI 1995: 289-297
1992
8EEThierry Boy de la Tour, Christoph Kreitz: Building Proofs by Analogy via the Curry-Horward Isomorphism. LPAR 1992: 202-213
7 Thierry Boy de la Tour: An Optimality Result for Clause Form Translation. J. Symb. Comput. 14(4): 283-302 (1992)
1990
6 Thierry Boy de la Tour, Gilles Chaminade: The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. AIMSA 1990: 3-12
5EEThierry Boy de la Tour: Minimizing the Number of Clauses by Renaming. CADE 1990: 558-572
1988
4EEThierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). CADE 1988: 744-745
3 Thierry Boy de la Tour, Ricardo Caferra: A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. ISSAC 1988: 402-406
2EEThierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). STACS 1988: 395-396
1987
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. AAAI 1987: 95-99

Coauthor Index

1Myla Archer [23]
2Maria Paola Bonacina [20]
3Ricardo Caferra [1] [2] [3] [4]
4Gilles Chaminade [2] [4] [6]
5Prakash Countcham [19]
6Stéphane Demri [9]
7Mnacho Echenim [15] [16] [17] [18] [21] [22] [24] [25]
8Stéphane Fèvre [12]
9Christoph Kreitz [8]
10César Muñoz [23]
11Paliath Narendran [25]
12Dongming Wang [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)