Article Dans Une Revue
Journal of Automated Reasoning
Année : 2005
Xavier Urbain : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01984434
Soumis le : jeudi 17 janvier 2019-08:27:27
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Citer
Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain. Mechanically Proving Termination Using Polynomial Interpretations. Journal of Automated Reasoning, 2005, 34 (4), pp.325-363. ⟨10.1007/s10817-005-9022-x⟩. ⟨hal-01984434⟩
Collections
37
Consultations
0
Téléchargements