Evelyne Contejean
AuthID: R-006-SG4
1
TITLE: Mechanically proving termination using polynomial interpretations Full Text
AUTHORS: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, ISSUE: 4
AUTHORS: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, ISSUE: 4
