ProfileOfResearchers

0
Sign In
- Federated Authentication (Click on the image)
  
  Local Sign In Password Recovery Register

AuthID: R-000-4Z7

Document Source:

Document Type:

Year Start - End:

Order:

Results:

TITLE: A FEASIBLE THEORY FOR ANALYSIS
AUTHORS: FERREIRA, F ;
PUBLISHED: 1994, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 59, ISSUE: 3

INDEXED IN:

WOS

IN MY:

ORCID |

TITLE: Binary models generated by their tally part
AUTHORS: Fernando Ferreira ;
PUBLISHED: 1994, SOURCE: Arch Math Logic - Archive for Mathematical Logic, VOLUME: 33, ISSUE: 4

INDEXED IN:

CrossRef

IN MY:

ORCID |

TITLE: BINARY MODELS GENERATED BY THEIR TALLY PART
AUTHORS: FERREIRA, F ;
PUBLISHED: 1994, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 33, ISSUE: 4

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

TITLE: Polynomial time computable arithmetic
AUTHORS: Fernando Ferreira ;
PUBLISHED: 1990, SOURCE: Logic and Computation - Contemporary Mathematics

INDEXED IN:

CrossRef: 22

IN MY:

ORCID |