Alexandre Boudet

MaRDI QIDQ582072zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Unification in a combination of equational theories: an efficient algorithm	2023-04-28	Paper
Diophantine equations, Presburger arithmetic and finite automata Trees in Algebra and Programming — CAAP '96	2023-02-23	Paper
AC-complete unification and its application to theorem proving Rewriting Techniques and Applications	2022-12-09	Paper
About the theory of tree embedding Lecture Notes in Computer Science	2022-11-02	Paper
“Syntactic” AC-unification Constraints in Computational Logics	2022-08-16	Paper
Combining pattern E-unification algorithms Lecture Notes in Computer Science	2002-03-21	Paper
scientific article; zbMATH DE number 1447313 (Why is no real title available?)	2000-05-18	Paper
scientific article; zbMATH DE number 1447313 (Why is no real title available?)	2000-05-18	Paper
About the confluence of equational pattern rewrite systems Lecture Notes in Computer Science	1999-11-07	Paper
Unification in order-sorted algebras with overloading Lecture Notes in Computer Science	1999-10-07	Paper
On n-syntactic equational theories Lecture Notes in Computer Science	1999-07-29	Paper
Combining unification algorithms Journal of Symbolic Computation	1995-10-18	Paper
Competing for the \(AC\)-unification race Journal of Automated Reasoning	1994-12-18	Paper
Unification in Boolean rings and Abelian groups Journal of Symbolic Computation	1989-01-01	Paper

Research outcomes over time

This page was built for person: Alexandre Boudet