Alexandre Boudet

From MaRDI portal
Person:582072

Available identifiers

zbMath Open boudet.alexandreMaRDI QIDQ582072

List of research outcomes





PublicationDate of PublicationType
Unification in a combination of equational theories: an efficient algorithm2023-04-28Paper
Diophantine equations, Presburger arithmetic and finite automata2023-02-23Paper
AC-complete unification and its application to theorem proving2022-12-09Paper
About the theory of tree embedding2022-11-02Paper
“Syntactic” AC-unification2022-08-16Paper
https://portal.mardi4nfdi.de/entity/Q27788712002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q49540092000-05-18Paper
https://portal.mardi4nfdi.de/entity/Q42498931999-11-07Paper
https://portal.mardi4nfdi.de/entity/Q42647121999-10-07Paper
https://portal.mardi4nfdi.de/entity/Q42467241999-07-29Paper
Combining unification algorithms1995-10-18Paper
Competing for the \(AC\)-unification race1994-12-18Paper
Unification in Boolean rings and Abelian groups1989-01-01Paper

Research outcomes over time

This page was built for person: Alexandre Boudet

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:582072&oldid=6615085"
Powered by MediaWiki