Paulo Oliva
AuthID: R-00F-WMW
1
TÃTULO: On bounded functional interpretations Full Text
AUTORES: Gilda Ferreira; Paulo Oliva;
PUBLICAÇÃO: 2012, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 163, NÚMERO: 8
AUTORES: Gilda Ferreira; Paulo Oliva;
PUBLICAÇÃO: 2012, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 163, NÚMERO: 8
2
TÃTULO: Bounded functional interpretation and feasible analysis Full Text
AUTORES: Fernando Ferreira ; Paulo Oliva;
PUBLICAÇÃO: 2007, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 145, NÚMERO: 2
AUTORES: Fernando Ferreira ; Paulo Oliva;
PUBLICAÇÃO: 2007, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 145, NÚMERO: 2
