Paulo Oliva (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Fernando Ferreira, Paulo Oliva: Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Logic 145(2): 115-129 (2007)

5 Fernando Ferreira, Paulo Oliva: Bounded functional interpretation. Ann. Pure Appl. Logic 135(1-3): 73-112 (2005)

Selection of 2 from 16 records - Paulo Oliva has 11 coauthors

10		Fernando Ferreira, Paulo Oliva: Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Logic 145(2): 115-129 (2007)
5		Fernando Ferreira, Paulo Oliva: Bounded functional interpretation. Ann. Pure Appl. Logic 135(1-3): 73-112 (2005)