Renato Jorge Araújo Neves
AuthID: R-006-JRC
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
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
