Reports
Year : 2006
Evelyne Contejean : Connect in order to contact the contributor
https://hal.inria.fr/inria-00001167
Submitted on : Friday, March 24, 2006-10:08:21 AM
Last modification on : Friday, October 28, 2022-3:28:35 AM
Dates and versions
Identifiers
- HAL Id : inria-00001167 , version 1
Cite
Evelyne Contejean, Claude Marché, Ana-Paula Tomas, Xavier Urbain. Mechanically proving termination using polynomial interpretations. [Intern report] 1382, 2006. ⟨inria-00001167⟩
86
View
0
Download