|
 
|
Ana Paula Tomas
Publications
2005
- [CMP05] E. Contejean, C. Marché, A. Paula Tomas, X. Urbain. "Mechanically proving termination using polynomial interpretations", JAR, Journal of Automated Reasoning, vol. 34(4), pp. 325-363, 2005
| |||||
|
|||||
Ana Paula TomasPublications2005
Revue Internationale avec comité de lecture |
|||||
