Search the dblp DataBase
Paulo Oliva :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Paulo Oliva Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. [Citation Graph (0, 0)][DBLP ] CiE, 2006, pp:423-434 [Conf ] Eugene W. Myers , Paulo Oliva , Katia S. Guimarães Reporting Exact and Approximate Regular Expression Matches. [Citation Graph (0, 0)][DBLP ] CPM, 1998, pp:91-103 [Conf ] Ursula Martin , Erik A. Mathiesen , Paulo Oliva Hoare Logic in the Abstract. [Citation Graph (0, 0)][DBLP ] CSL, 2006, pp:501-515 [Conf ] Paulo Oliva Unifying Functional Interpretations. [Citation Graph (0, 0)][DBLP ] Mathematics, Algorithms, Proofs, 2005, pp:- [Conf ] Paulo Oliva Polynomial-time Algorithms from Ineffective Proofs. [Citation Graph (0, 0)][DBLP ] LICS, 2003, pp:128-137 [Conf ] 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 ] Ulrich Kohlenbach , Paulo Oliva Proof mining in L 1 -approximation. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2003, v:121, n:1, pp:1-38 [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 ] Paulo Oliva On the Computational Complexity of Best L 1 -approximation. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2002, v:48, n:S1, pp:66-77 [Journal ] Paulo Oliva Modified Realizability Interpretation of Classical Linear Logic. [Citation Graph (0, 0)][DBLP ] LICS, 2007, pp:431-442 [Conf ] Paulo Oliva Computational Interpretations of Classical Linear Logic. [Citation Graph (0, 0)][DBLP ] WoLLIC, 2007, pp:285-296 [Conf ] Hybrid Functional Interpretations. [Citation Graph (, )][DBLP ] The Peirce Translation and the Double Negation Shift. [Citation Graph (, )][DBLP ] Computational Interpretations of Analysis via Products of Selection Functions. [Citation Graph (, )][DBLP ] Functional Interpretations of Intuitionistic Linear Logic. [Citation Graph (, )][DBLP ] A General Framework for Sound and Complete Floyd-Hoare Logics [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs