Fernando Ferreira

	2012
23		Fernando Ferreira: A Short Note on Spector's Proof of Consistency of Analysis. CiE 2012: 222-227
22		Fernando Ferreira, Ricardo Jardim-Gonçalves: Framework for Knowledge Management Based in the Two-Stream Hypothesis. DoCEIS 2012: 69-76
21		Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo: Computability in Europe 2010. Ann. Pure Appl. Logic 163(6): 621-622 (2012)
	2010
20		Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes: Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings Springer 2010
19		Sara Pinto, Fernando Ferreira: Technological Dissemination in the Portuguese Payments System: An Empirical Analysis to the Region of Santarém. IJHCITP 1(4): 55-75 (2010)
18		Patrícia Engrácia, Fernando Ferreira: The bounded functional interpretation of the double negation shift. J. Symb. Log. 75(2): 759-773 (2010)
	2009
17		Fernando Ferreira: Injecting uniformities into Peano arithmetic. Ann. Pure Appl. Logic 157(2-3): 122-129 (2009)
16		Fernando Ferreira, Gilda Ferreira: Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. Studia Logica 92(1): 63-84 (2009)
	2008
15		Fernando Ferreira, Gilda Ferreira: Harrington's conservation theorem redone. Arch. Math. Log. 47(2): 91-100 (2008)
14		Fernando Ferreira, Gilda Ferreira: The Riemann Integral in Weak Systems of Analysis. J. UCS 14(6): 908-937 (2008)
	2007
13		Fernando Ferreira, Paulo Oliva: Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Logic 145(2): 115-129 (2007)
	2006
12		Fernando Ferreira: Comments on Predicative Logic. J. Philosophical Logic 35(1): 1-8 (2006)
11		Fernando Ferreira, Ana Nunes: Bounded modified realizability. J. Symb. Log. 71(1): 329-346 (2006)
10		Fernando Ferreira, Gilda Ferreira: Counting as integration in feasible analysis. Math. Log. Q. 52(3): 315-320 (2006)
	2005
9		Fernando Ferreira, Paulo Oliva: Bounded functional interpretation. Ann. Pure Appl. Logic 135(1-3): 73-112 (2005)
8		Fernando Ferreira: A Simple Proof of Parsons' Theorem. Notre Dame Journal of Formal Logic 46(1): 83-91 (2005)
	2002
7		Fernando Ferreira, Kai F. Wehmeier: On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze. J. Philosophical Logic 31(4): 301-311 (2002)
6		António M. Fernandes, Fernando Ferreira: Groundwork for Weak Analysis. J. Symb. Log. 67(2): 557-578 (2002)
	1999
5		Fernando Ferreira: Two General Results on lntuitionistic Bounded Theories. Math. Log. Q. 45: 399-407 (1999)
	1998
4		Fernando Ferreira, António Marques: Extracting Algorithms from Intuitionistic Proofs. Math. Log. Q. 44: 143-160 (1998)
	1996
3		Fernando Ferreira: On End-Extensions of Models of ¬exp. Math. Log. Q. 42: 1-18 (1996)
	1995
2		Fernando Ferreira: What are the forall Sigmab1-Consequences of T12 and T22? Ann. Pure Appl. Logic 75(1-2): 79-88 (1995)
	1994
1		Fernando Ferreira: A Feasible Theory for Analysis. J. Symb. Log. 59(3): 1001-1011 (1994)

Coauthor Index

1	Patrícia Engrácia	[18]
2	António M. Fernandes	[6]
3	Gilda Ferreira	[10] [14] [15] [16]
4	Luís Mendes Gomes	[20]
5	Martin Hyland (J. M. E. Hyland)	[21]
6	Ricardo Jardim-Gonçalves	[22]
7	Benedikt Löwe	[20] [21]
8	António Marques	[4]
9	Elvira Mayordomo	[20] [21]
10	Ana Nunes	[11]
11	Paulo Oliva	[9] [13]
12	Sara Pinto	[19]
13	Kai F. Wehmeier	[7]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page