Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 75



71
TÍTULO: A feasible theory for analysis
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 1994, FONTE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 59, NÚMERO: 03
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
72
TÍTULO: Binary models generated by their tally part
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 1994, FONTE: Arch Math Logic - Archive for Mathematical Logic, VOLUME: 33, NÚMERO: 4
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
73
TÍTULO: BINARY MODELS GENERATED BY THEIR TALLY PART
AUTORES: FERREIRA, F ;
PUBLICAÇÃO: 1994, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 33, NÚMERO: 4
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
74
TÍTULO: Polynomial time computable arithmetic
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 1990, FONTE: Logic and Computation - Contemporary Mathematics
INDEXADO EM: CrossRef: 22
NO MEU: ORCID | CIÊNCIAVITAE
75
TÍTULO: Stockmeyer induction
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 1990, FONTE: Feasible Mathematics
INDEXADO EM: CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
Página 8 de 8. Total de resultados: 75.

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

Links Úteis

Ajuda

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