Claude Marché
2
Documents
Affiliations actuelles
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Mechanically Proving Termination Using Polynomial InterpretationsJournal of Automated Reasoning, 2005, 34 (4), pp.325-363. ⟨10.1007/s10817-005-9022-x⟩
Article dans une revue
hal-01984434v1
|
Mechanically proving termination using polynomial interpretations[Intern report] 1382, 2006
Rapport
inria-00001167v1
|