Sfoglia per Autore
Undecidability vs Transfinite Induction for the Consistency of Hyperarithmetics sets
1982-01-01 Caporaso, S.; Pani, Giovanni
A Sequential Approach to the Hereditarily Recursive Continuous Functionals
1988-01-01 Gandy, R. O.; Pani, Giovanni
Incompleteness in linear time
2000-01-01 S., Caporaso; Pani, Giovanni; Covino, Emanuele
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes
2000-01-01 Covino, Emanuele; Pani, Giovanni; Caporaso, S.
Recursive programming languages for complexity classes
2001-01-01 Covino, Emanuele; Pani, Giovanni
A Predicative Approach to the Classification Problem
2001-01-01 Pani, Giovanni; Covino, Emanuele; Caporaso, S.
A refinement of the mu-measure for stack programs
2003-01-01 Covino, Emanuele; Pani, Giovanni
A visual tool for multidimensional data analysis
2005-01-01 Buono, Paolo; Costabile, Maria; Covino, Emanuele; Pani, Giovanni
Predicative Recursion, Ramified Diagonalization and the Elementary Functions
2007-01-01 Salvatore, Caporaso; Covino, Emanuele; Vittoria, Cozza; Pani, Giovanni; Eustrat, Zhupa
Compile-time Computation of Polytime Functions.
2007-01-01 Covino, Emanuele; Pani, Giovanni; D., Scrimieri
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n)
2007-01-01 Salvatore, Caporaso; Covino, Emanuele; Vittoria, Cozza; Paolo, Gissi; Pani, Giovanni
Implicit computational complexity and the exponential time-space classes
2007-01-01 Salvatore, Caporaso; Covino, Emanuele; Paolo, Gissi; Pani, Giovanni
Complexity certification of C++ template metaprogramming
2008-01-01 Pani, Giovanni; Covino, Emanuele
Extending C++ static computation of polynomial-time algorithms
2008-01-01 Pani, Giovanni; Covino, Emanuele; Daniele, Scrimieri
Complexity certification of C++ templates
2008-01-01 Covino, Emanuele; Pani, Giovanni
Complexity certification of C++ template metaprogramming (extended version)
2009-01-01 Pani, Giovanni; Covino, Emanuele
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes
2010-01-01 Covino, Emanuele; Pani, Giovanni
Bluetooth and filesystem to manage a ubiquitous mesh network
2010-01-01 N., Corriero; Covino, Emanuele; Pani, Giovanni; E., Zhupa
A tool for the evaluation of the complexity of programs using C++ templetates
2011-01-01 Corriero, N; Covino, Emanuele; Pani, Giovanni
IFHNFS: fast indexing information in mobile devices,
2011-01-01 Pani, Giovanni; Gargiuolo, ; Corriero, N.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile