M. H. B. Sorensen


AuthID: R-00J-N7C

Publicações a aguardar confirmação

1
TÍTULO: CPS translations and applications: The cube and beyond
AUTORES: Barthe, G; Hatcliff, J; SOrensen, MHB;
PUBLICAÇÃO: 1999, FONTE: Higher-Order and Symbolic Computation, VOLUME: 12, NÚMERO: 2
INDEXADO EM: Scopus CrossRef: 19

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