Paulo Oliva

2007
11	EE	Paulo Oliva: Modified Realizability Interpretation of Classical Linear Logic. LICS 2007: 431-442
10	EE	Paulo Oliva: Computational Interpretations of Classical Linear Logic. WoLLIC 2007: 285-296
9	EE	Fernando Ferreira, Paulo Oliva: Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Logic 145(2): 115-129 (2007)
2006
8	EE	Ursula Martin, Erik A. Mathiesen, Paulo Oliva: Hoare Logic in the Abstract. CSL 2006: 501-515
7	EE	Paulo Oliva: Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. CiE 2006: 423-434
2005
6	EE	Paulo Oliva: Unifying Functional Interpretations. Mathematics, Algorithms, Proofs 2005
5	EE	Fernando Ferreira, Paulo Oliva: Bounded functional interpretation. Ann. Pure Appl. Logic 135(1-3): 73-112 (2005)
2003
4	EE	Paulo Oliva: Polynomial-time Algorithms from Ineffective Proofs. LICS 2003: 128-137
3	EE	Ulrich Kohlenbach, Paulo Oliva: Proof mining in L1-approximation. Ann. Pure Appl. Logic 121(1): 1-38 (2003)
2002
2	EE	Paulo Oliva: On the Computational Complexity of Best L1-approximation. Math. Log. Q. 48(S1): 66-77 (2002)
1998
1		Eugene W. Myers, Paulo Oliva, Katia S. Guimarães: Reporting Exact and Approximate Regular Expression Matches. CPM 1998: 91-103

Coauthor Index

1	Fernando Ferreira	[5] [9]
2	Katia S. Guimarães	[1]
3	Ulrich Kohlenbach	[3]
4	Ursula Martin	[8]
5	Erik A. Mathiesen	[8]
6	Eugene W. Myers (Gene Myers)	[1]

Colors in the list of coauthors