Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Caporaso, Salvatore - Dipartimento di Informatica, Università degli Studi di Bari
Introduzione alla Programmazione in Unix-Bash
Incompleteness in Linear Time Salvatore Caporaso
Metodi per il Trattamento delle Informazioni dispense a.a. 2005-2006
SYNTACTIC CHARACTERIZATION IN LISP OF THE POLYNOMIAL COMPLEXITY
Metodi Formali dell'Informatica Salvatore Caporaso
1 Introduction f x; y h x; y ; f x; y
Metodi Formali dell'Informatica Modulo A --Logica Matematica
1 Introduction DTIMEF DTIMEF
A Decidable Characterization of the Classes between Lintime and Exptime
(long abstract) Salvatore Caporaso
On a relation between uniform coding and problems of the form DTIMEF(F) =? DSPACEF(F)
A predicative and decidable characterization of the polynomial classes of languages
International Journal of Foundations of Computer Science fl World Scientific Publishing Company
Extending the Implicit Computational Complexity approach to the subelementary
Corso di Informatica per la laurea triennale in Matematica Complementi al libro di Kernighan e Ritchie
