Mechanically proving termination using polynomial interpretations - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport Année : 2006

Mechanically proving termination using polynomial interpretations

Domaines

Mathématique discrète [cs.DM]

Evelyne Contejean  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00001167

Soumis le : vendredi 24 mars 2006-10:08:21

Dernière modification le : samedi 10 février 2024-03:07:49

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00001167 , version 1

Citer

Evelyne Contejean, Claude Marché, Ana-Paula Tomas, Xavier Urbain. Mechanically proving termination using polynomial interpretations. [Intern report] 1382, 2006. ⟨inria-00001167⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS CNRS INRIA UMR8623 INRIA2 LRI-VALS TDS-MACS LARA UNIV-PARIS-SACLAY
91 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More