Thierry Boy de la Tour

Available identifiers

zbMath Open boy-de-la-tour.thierryMaRDI QIDQ331618

List of research outcomes

Publication	Date of Publication	Type
Algebraic properties and transformations of monographs	2024-12-12	Paper
Automated deduction	2024-09-11	Paper
Subsumptions of Algebraic Rewrite Rules	2023-12-14	Paper
Minimizing the number of clauses by renaming	2023-04-28	Paper
Combining Parallel Graph Rewriting and Quotient Graphs	2022-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5021233	2022-01-12	Paper
Parallel coherent graph transformations	2021-10-27	Paper
Monographs, a category of graph structures	2021-10-27	Paper
Parallel rewriting of attributed graphs	2020-12-15	Paper
Parallelism Theorem and Derived Rules for Parallel Coherent Transformations	2019-07-08	Paper
Ground resolution with group computations on semantic symmetries	2019-01-15	Paper
Proof generalization in \(\mathrm {LK}\) by second order unifier minimization	2016-10-27	Paper
Analogy in Automated Deduction: A Survey	2016-07-18	Paper
An isomorph-free SEM-like enumeration of models	2013-09-25	Paper
On leaf permutative theories and occurrence permutation groups	2013-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q3408147	2010-02-24	Paper
Unification and Matching Modulo Leaf-Permutative Equational Presentations	2008-11-27	Paper
Determining Unify-Stable Presentations	2008-01-02	Paper
Automated Reasoning	2007-09-25	Paper
Permutative rewriting and unification	2007-04-16	Paper
Term Rewriting and Applications	2005-11-11	Paper
On the complexity of deduction modulo leaf permutative equations	2005-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4809055	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4471959	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4503904	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4946081	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4255510	1999-08-16	Paper
An optimality result for clause form translation	1993-01-17	Paper

Research outcomes over time

This page was built for person: Thierry Boy de la Tour