Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 75



71
TÍTULO: A FEASIBLE THEORY FOR ANALYSIS
AUTORES: FERREIRA, F ;
PUBLICAÇÃO: 1994, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 59, NÚMERO: 3
INDEXADO EM: WOS
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

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