Renato Jorge Araújo Neves


AuthID: R-006-JRC

Publicações a aguardar confirmação

1
TÍTULO: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno; Proenca, Jose ; Neves, Renato;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP

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

Links Úteis

Ajuda

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