Thierry Boy de la Tour

Available identifiers

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

List of research outcomes

Publication	Date of Publication	Type
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
Monographs, a category of graph structures	2021-10-27	Paper
Parallel coherent graph transformations	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
https://portal.mardi4nfdi.de/entity/Q2848047	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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