2006 | ||
---|---|---|
2 | EE | Solange Coupet-Grimal, William Delobel: An effective proof of the well-foundedness of the multiset path ordering. Appl. Algebra Eng. Commun. Comput. 17(6): 453-469 (2006) |
2004 | ||
1 | EE | Solange Coupet-Grimal, William Delobel: A Uniform and Certified Approach for Two Static Analyses. TYPES 2004: 115-137 |
1 | Solange Coupet-Grimal | [1] [2] |