-
Improving the efficiency of AC matching and unification
This report consists of three independent parts that each study important steps in the matching and unification process for AC theories. In the first part we consider... -
Generalized normal forms and polynomial system solving
International audience -
Fast Genuine Generalized Consensus
International audience
