Thierry Boy de la Tour

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 12

Top Venues

CoRR

WADT

GCAI

WRLA@ETAPS

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Thierry Boy de la Tour
Algebraic Monograph Transformations. CoRR (2023)
Thierry Boy de la Tour
Subsumptions of Algebraic Rewrite Rules. CoRR (2023)
Thierry Boy de la Tour
Monographs, a Category of Graph Structures. WADT (2020)
Thierry Boy de la Tour, Rachid Echahed
Parallel Coherent Graph Transformations. WADT (2020)
Thierry Boy de la Tour
Parallel Independence in Attributed Graph Rewriting. TERMGRAPH@FSCD (2020)
Thierry Boy de la Tour, Rachid Echahed
Parallel rewriting of attributed graphs. Theor. Comput. Sci. 848 (2020)
Thierry Boy de la Tour, Rachid Echahed
Combining Parallel Graph Rewriting and Quotient Graphs. WRLA@ETAPS (2020)
Thierry Boy de la Tour, Rachid Echahed
True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans. CoRR (2019)
Thierry Boy de la Tour
Parallelism Theorem and Derived Rules for Parallel Coherent Transformations. CoRR (2019)
Thierry Boy de la Tour, Rachid Echahed
A Set-Theoretic Framework for Parallel Graph Rewriting. CoRR (2018)
Thierry Boy de la Tour
Properties of Constrained Generalization Algorithms. GCAI (2017)
Thierry Boy de la Tour, Nicolas Peltier
Proof Generalization in $$\mathrm {LK}$$ LK by Second Order Unifier Minimization. J. Autom. Reason. 57 (3) (2016)
Thierry Boy de la Tour, Mnacho Echenim
Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries CoRR (2011)
Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran
Unification and Matching Modulo Leaf-Permutative Equational Presentations. IJCAR (2008)
Myla Archer, Thierry Boy de la Tour, César A. Muñoz
Preface. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
Thierry Boy de la Tour, Mnacho Echenim
Permutative rewriting and unification. Inf. Comput. 205 (4) (2007)
Thierry Boy de la Tour, Mnacho Echenim
Determining Unify-Stable Presentations. RTA (2007)
Thierry Boy de la Tour, Prakash Countcham
An Isomorph-Free SEM-Like Enumeration of Models. Electron. Notes Theor. Comput. Sci. 125 (2) (2005)
Maria Paola Bonacina, Thierry Boy de la Tour
Preface. Electron. Notes Theor. Comput. Sci. 125 (2) (2005)
Thierry Boy de la Tour, Mnacho Echenim
Unification in a Class of Permutative Theories. RTA (2005)
Thierry Boy de la Tour, Mnacho Echenim
Overlapping Leaf Permutative Equations. IJCAR (2004)
Thierry Boy de la Tour, Mnacho Echenim
On the Complexity of Deduction Modulo Leaf Permutative Equations. J. Autom. Reason. 33 (3-4) (2004)
Thierry Boy de la Tour, Mnacho Echenim
NP-Completeness Results for Deductive Problems on Stratified Terms. LPAR (2003)
Thierry Boy de la Tour, Mnacho Echenim
On Leaf Permutative Theories and Occurrence Permutation Groups. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Thierry Boy de la Tour
A Note on Symmetry Heuristics in SEM. CADE (2002)
Thierry Boy de la Tour
Some Techniques of Isomorph-Free Search. AISC (2000)
Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang
Clifford Term Rewriting for Geometric Reasoning in 3D. Automated Deduction in Geometry (1998)
Thierry Boy de la Tour
On the Complexity of Finite Sorted Algebras. FTP (LNCS Selection) (1998)
Thierry Boy de la Tour
Ground Resolution with Group Computations on Semantic Symmetries. CADE (1996)
Thierry Boy de la Tour, Stéphane Demri
On the Complexity of Extending Ground Resolution with Symmetry Rules. IJCAI (1995)
Thierry Boy de la Tour, Christoph Kreitz
Building Proofs by Analogy via the Curry-Horward Isomorphism. LPAR (1992)
Thierry Boy de la Tour
An Optimality Result for Clause Form Translation. J. Symb. Comput. 14 (4) (1992)
Thierry Boy de la Tour, Gilles Chaminade
The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. AIMSA (1990)
Thierry Boy de la Tour
Minimizing the Number of Clauses by Renaming. CADE (1990)
Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
Some Tools for an Inference Laboratory (ATINF). STACS (1988)
Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
Some Tools for an Inference Laboratory (ATINF). CADE (1988)
Thierry Boy de la Tour, Ricardo Caferra
A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. ISSAC (1988)
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)

Thierry Boy de la Tour.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thierry Boy de la Tour