IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 43
Titolo Data di pubblicazione Autore(i) File
Syntactic characterization in Lisp of the polynomial complexity classes and hierarchy 1-gen-1997 Covino, Emanuele; Caporaso, S.; Altri,
Predicative Recursion, Constructive Diagonalization and the Elementary Functions 1-gen-1999 Caporaso, S.; Pani, G.; Covino, Emanuele
Characterizing the time-space classes by unlimited operators 1-gen-2000 Covino, Emanuele
A resource-free classification of the time-space complexity classes between Lintime and Expspace 1-gen-2000 Caporaso, S.; Pani, G.; Covino, Emanuele
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 1-gen-2000 Covino, Emanuele; Pani, Giovanni; Caporaso, S.
Bayesian Cognitive Diagnosis in Believable Multiagent Systems 1-gen-2000 De, Rosis; Covino, Emanuele; Altri,
Incompleteness in linear time 1-gen-2000 S., Caporaso; Pani, Giovanni; Covino, Emanuele
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.
Time-space computational complexity of imperative programming languages 1-gen-2002 Covino, Emanuele; Giovanni, Pani
An implicit recursive language for the polynomial time-space complexity classes 1-gen-2002 Covino, Emanuele; Giovanni, Pani
Space complexity analysis for stack programs 1-gen-2003 Covino, Emanuele; Giovanni, Pani
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
Implicit computational complexity and the exponential time-space classes 1-gen-2007 Salvatore, Caporaso; Covino, Emanuele; Paolo, Gissi; Pani, Giovanni
Static Computation of Polynomial-time Functions in C++, 1-gen-2007 Covino, Emanuele; Giovanni, Pani; Daniele, Scrimieri
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 1-gen-2007 Salvatore, Caporaso; Covino, Emanuele; Vittoria, Cozza; Pani, Giovanni; Eustrat, Zhupa
Compile-time Computation of Polytime Functions. 1-gen-2007 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) 1-gen-2007 Salvatore, Caporaso; Covino, Emanuele; Vittoria, Cozza; Paolo, Gissi; Pani, Giovanni
Complexity certification of C++ template metaprogramming 1-gen-2008 Pani, Giovanni; Covino, Emanuele
Mostrati risultati da 1 a 20 di 43
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