Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 33
Titolo Data di pubblicazione Autore(i) File
Undecidability vs Transfinite Induction for the Consistency of Hyperarithmetics sets 1-gen-1982 Caporaso, S.; Pani, Giovanni
A Sequential Approach to the Hereditarily Recursive Continuous Functionals 1-gen-1988 Gandy, R. O.; Pani, Giovanni
Incompleteness in linear time 1-gen-2000 S., Caporaso; Pani, Giovanni; Covino, Emanuele
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 1-gen-2000 Covino, Emanuele; Pani, Giovanni; Caporaso, S.
Recursive programming languages for complexity classes 1-gen-2001 Covino, Emanuele; Pani, Giovanni
A Predicative Approach to the Classification Problem 1-gen-2001 Pani, Giovanni; Covino, Emanuele; Caporaso, S.
A refinement of the mu-measure for stack programs 1-gen-2003 Covino, Emanuele; Pani, Giovanni
A visual tool for multidimensional data analysis 1-gen-2005 Buono, Paolo; Costabile, Maria; Covino, Emanuele; Pani, Giovanni
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 1-gen-2007 Salvatore, Caporaso; Covino, Emanuele; Vittoria, Cozza; Pani, Giovanni; Eustrat, Zhupa
Implicit computational complexity and the exponential time-space classes 1-gen-2007 Salvatore, Caporaso; Covino, Emanuele; Paolo, Gissi; Pani, Giovanni
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 1-gen-2007 Salvatore, Caporaso; Covino, Emanuele; Vittoria, Cozza; Paolo, Gissi; Pani, Giovanni
Compile-time Computation of Polytime Functions. 1-gen-2007 Covino, Emanuele; Pani, Giovanni; D., Scrimieri
Extending C++ static computation of polynomial-time algorithms 1-gen-2008 Pani, Giovanni; Covino, Emanuele; Daniele, Scrimieri
Complexity certification of C++ template metaprogramming 1-gen-2008 Pani, Giovanni; Covino, Emanuele
Complexity certification of C++ templates 1-gen-2008 Covino, Emanuele; Pani, Giovanni
Complexity certification of C++ template metaprogramming (extended version) 1-gen-2009 Pani, Giovanni; Covino, Emanuele
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes 1-gen-2010 Covino, Emanuele; Pani, Giovanni
Bluetooth and filesystem to manage a ubiquitous mesh network 1-gen-2010 N., Corriero; Covino, Emanuele; Pani, Giovanni; E., Zhupa
A tool for the evaluation of the complexity of programs using C++ templetates 1-gen-2011 Corriero, N; Covino, Emanuele; Pani, Giovanni
IFHNFS: fast indexing information in mobile devices, 1-gen-2011 Pani, Giovanni; Gargiuolo, ; Corriero, N.
Mostrati risultati da 1 a 20 di 33
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