Catégorie Rapport Auteurs Thomas Genet Valerie Viet Triem Tong https://inria.hal.science/inria-00072012v1 doc ID 72012 Nom Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation Date de publication ven 28/03/2025 - 12:00