Evelyne Contejean


AuthID: R-006-SG4

Publicações a aguardar confirmação

1
TÍTULO: Mechanically proving termination using polynomial interpretations  Full Text
AUTORES: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 43

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service