|
Search the dblp DataBase
Fernando Ferreira:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- Fernando Ferreira
A Feasible Theory for Analysis. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1994, v:59, n:3, pp:1001-1011 [Journal]
- 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]
- 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]
- 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]
- 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]
Harrington's conservation theorem redone. [Citation Graph (, )][DBLP]
Injecting uniformities into Peano arithmetic. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|