( en | de | ru )

 

Disambiguation of "Ferreira, Fernando"

Author of the publication

copydeleteadd this publication to your clipboard
Aquaponics system an EPS@ISEP 2014 spring project.

, , , , , , , , , , , and . TEEM, page 537-544. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fernando Ferreira Rezende

Fernando Gomes Ferreira Lima

Fernando Gomes Ferreira Lima

Ana Helena Ferreira Ferreira

William Ferreira

 

Other publications of authors with the same name

A Short Note on Spector's Proof of Consistency of Analysis.. CiE, volume 7318 of Lecture Notes in Computer Science, page 222-227. Springer, (2012)Atomic polymorphism., and . J. Symb. Log., 78 (1): 260-274 (2013)Counting as integration in feasible analysis., and . Math. Log. Q., 52 (3): 315-320 (2006)The bounded functional interpretation of the double negation shift., and . J. Symb. Log., 75 (2): 759-773 (2010)Injecting uniformities into Peano arithmetic.. Ann. Pure Appl. Log., 157 (2-3): 122-129 (2009)Hosts mobility and spatial spread of Rickettsia rickettsii., , , , and . PLoS Comput. Biol., (2018)Two General Results on Intuitionistic Bounded Theories.. Math. Log. Q., (1999)A Note on Finiteness in the Predicative Foundations of Arithmetic.. J. Philos. Log., 28 (2): 165-174 (1999)The Finitistic Consistency of Heck's Predicative Fregean System., and . Notre Dame J. Formal Log., 56 (1): 61-79 (2015)A Unified Framework for Measuring Preferences for Schools and Neighborhoods, , and . Journal of Political Economy, 115 (4): 588--638 (213 08 2007)doi: 10.1086/522381.