The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fernando Ferreira: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fernando Ferreira
    What are the forall Sigmab1-Consequences of T12 and T22? [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:79-88 [Journal]
  2. Fernando Ferreira, Paulo Oliva
    Bounded functional interpretation. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:73-112 [Journal]
  3. Fernando Ferreira, Paulo Oliva
    Bounded functional interpretation and feasible analysis. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2007, v:145, n:2, pp:115-129 [Journal]
  4. António M. Fernandes, Fernando Ferreira
    Groundwork for Weak Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:557-578 [Journal]
  5. Fernando Ferreira
    A Feasible Theory for Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:1001-1011 [Journal]
  6. Fernando Ferreira
    On End-Extensions of Models of ¬exp. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1996, v:42, n:, pp:1-18 [Journal]
  7. Fernando Ferreira
    Two General Results on lntuitionistic Bounded Theories. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:399-407 [Journal]
  8. Fernando Ferreira, António Marques
    Extracting Algorithms from Intuitionistic Proofs. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1998, v:44, n:, pp:143-160 [Journal]
  9. Fernando Ferreira, Gilda Ferreira
    Counting as integration in feasible analysis. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2006, v:52, n:3, pp:315-320 [Journal]

  10. Harrington's conservation theorem redone. [Citation Graph (, )][DBLP]


  11. Injecting uniformities into Peano arithmetic. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002