Mechanically proving termination using polynomial interpretations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2006
No file

Dates and versions

inria-00001167 , version 1 (24-03-2006)

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⟩
91 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More