Thierry Boy de la Tour

From MaRDI portal
Person:331618

Available identifiers

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

List of research outcomes





PublicationDate of PublicationType
Algebraic properties and transformations of monographs2024-12-12Paper
Automated deduction2024-09-11Paper
Subsumptions of Algebraic Rewrite Rules2023-12-14Paper
Minimizing the number of clauses by renaming2023-04-28Paper
Combining Parallel Graph Rewriting and Quotient Graphs2022-12-22Paper
https://portal.mardi4nfdi.de/entity/Q50212332022-01-12Paper
Parallel coherent graph transformations2021-10-27Paper
Monographs, a category of graph structures2021-10-27Paper
Parallel rewriting of attributed graphs2020-12-15Paper
Parallelism Theorem and Derived Rules for Parallel Coherent Transformations2019-07-08Paper
Ground resolution with group computations on semantic symmetries2019-01-15Paper
Proof generalization in \(\mathrm {LK}\) by second order unifier minimization2016-10-27Paper
Analogy in Automated Deduction: A Survey2016-07-18Paper
An isomorph-free SEM-like enumeration of models2013-09-25Paper
On leaf permutative theories and occurrence permutation groups2013-04-19Paper
https://portal.mardi4nfdi.de/entity/Q34081472010-02-24Paper
Unification and Matching Modulo Leaf-Permutative Equational Presentations2008-11-27Paper
Determining Unify-Stable Presentations2008-01-02Paper
Automated Reasoning2007-09-25Paper
Permutative rewriting and unification2007-04-16Paper
Term Rewriting and Applications2005-11-11Paper
On the complexity of deduction modulo leaf permutative equations2005-06-22Paper
https://portal.mardi4nfdi.de/entity/Q48090552004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44719592004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q45039042000-09-14Paper
https://portal.mardi4nfdi.de/entity/Q49460812000-03-22Paper
https://portal.mardi4nfdi.de/entity/Q42555101999-08-16Paper
An optimality result for clause form translation1993-01-17Paper

Research outcomes over time

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