The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Paulo Oliva: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paulo Oliva
    Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:423-434 [Conf]
  2. 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]
  3. Ursula Martin, Erik A. Mathiesen, Paulo Oliva
    Hoare Logic in the Abstract. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:501-515 [Conf]
  4. Paulo Oliva
    Unifying Functional Interpretations. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  5. Paulo Oliva
    Polynomial-time Algorithms from Ineffective Proofs. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:128-137 [Conf]
  6. 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]
  7. Ulrich Kohlenbach, Paulo Oliva
    Proof mining in L1-approximation. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:121, n:1, pp:1-38 [Journal]
  8. 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]
  9. Paulo Oliva
    On the Computational Complexity of Best L1-approximation. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:66-77 [Journal]
  10. Paulo Oliva
    Modified Realizability Interpretation of Classical Linear Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:431-442 [Conf]
  11. Paulo Oliva
    Computational Interpretations of Classical Linear Logic. [Citation Graph (0, 0)][DBLP]
    WoLLIC, 2007, pp:285-296 [Conf]

  12. Hybrid Functional Interpretations. [Citation Graph (, )][DBLP]


  13. The Peirce Translation and the Double Negation Shift. [Citation Graph (, )][DBLP]


  14. Computational Interpretations of Analysis via Products of Selection Functions. [Citation Graph (, )][DBLP]


  15. Functional Interpretations of Intuitionistic Linear Logic. [Citation Graph (, )][DBLP]


  16. A General Framework for Sound and Complete Floyd-Hoare Logics [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002