Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm
Fiche du document
Auteur
Date
1991
Type de document
Périmètre
Langue
Identifiants
- handle: 10670/1.di2moa
- ITA_1991__25_2_157_0
- oai:numdam.org:ITA_1991__25_2_157_0
- citation: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 25, no. 2 (1991) p 157-169
- ZBL 0731.68061
- MR 1110982
Relations
Ce document est lié à :
0988-3754
Collection
Organisation
Citer ce document
Jocelyne Rouyer, « Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.di2moa
