Search the dblp DataBase

Publications of Author

1. Salvatore Caporaso, Michele Zito, Nicola Galesi, Emanuele Covino
   Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy. [Citation Graph (0, 0)][DBLP]
   CIAC, 1997, pp:61-73 [Conf]
   
2. Emanuele Covino, Giovanni Pani, Salvatore Caporaso
   Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes. [Citation Graph (0, 0)][DBLP]
   CIAC, 2000, pp:239-252 [Conf]
   
3. Salvatore Caporaso, Michele Zito
   On a Relation Between Uniform Coding and Problems of the Form DTIMEF(F) =? DSPACEF(F). [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1998, v:35, n:8, pp:665-672 [Journal]
   
4. Salvatore Caporaso
   Safe Turing Machines, Grzegorczyk Classes and Polytime. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 1996, v:7, n:3, pp:241-252 [Journal]
   
5. Salvatore Caporaso
   A decidable characterization of the classes between lintime and exptime. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2006, v:97, n:1, pp:36-40 [Journal]
   
6. Salvatore Caporaso, Emanuele Covino, Giovanni Pani
   A predicative approach to the classification problem. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2001, v:11, n:1, pp:95-116 [Journal]
   
7. Salvatore Caporaso, Giovanni Pani, Emanuele Covino
   Incompleteness in Linear Time. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2000, v:6, n:12, pp:1185-1196 [Journal]
   
8. Salvatore Caporaso, Michele Zito, Nicola Galesi
   A predicative and decidable characterization of the polynomial classes of languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:250, n:1-2, pp:83-99 [Journal]
   
9. Salvatore Caporaso
   A Predicative Harmonization of the Time and Provable Hierarchies [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
10. 
    Kleene, Rogers and Rice Theorems Revisited in C and in Bash [Citation Graph (, )][DBLP]