Salvatore Caporaso

Publication Activity (10 Years)

Years Active: 1978-2007
Publications (10 Years): 0

Publications

Salvatore Caporaso, Nicola Corriero
Kleene, Rogers and Rice Theorems Revisited in C and in Bash CoRR (2007)
Salvatore Caporaso
A Predicative Harmonization of the Time and Provable Hierarchies CoRR (2006)
Salvatore Caporaso
A decidable characterization of the classes between lintime and exptime. Inf. Process. Lett. 97 (1) (2006)
Salvatore Caporaso, Emanuele Covino, Giovanni Pani
A predicative approach to the classification problem. J. Funct. Program. 11 (1) (2001)
Salvatore Caporaso, Michele Zito, Nicola Galesi
A predicative and decidable characterization of the polynomial classes of languages. Theor. Comput. Sci. 250 (1-2) (2001)
Salvatore Caporaso, Giovanni Pani, Emanuele Covino
Incompleteness in Linear Time. J. Univers. Comput. Sci. 6 (12) (2000)
Emanuele Covino, Giovanni Pani, Salvatore Caporaso
Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes. CIAC (2000)
Salvatore Caporaso, Michele Zito
). Acta Informatica 35 (8) (1998)
Salvatore Caporaso, Michele Zito, Nicola Galesi, Emanuele Covino
Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy. CIAC (1997)
Salvatore Caporaso
Safe Turing Machines, Grzegorczyk Classes and Polytime. Int. J. Found. Comput. Sci. 7 (3) (1996)
Salvatore Caporaso, Giovanni Pani
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets. Arch. Math. Log. 22 (1-2) (1980)
Salvatore Caporaso
Consistency proof without transfinite induction for a formal system for turing machines. Arch. Math. Log. 19 (1) (1978)