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 Sigma^{b} _{1} -Consequences of T^{1} _{2} and T^{2} _{2} ? [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