Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 23
Titolo Data di pubblicazione Autore(i) File
Partial closures and semantics of while: Towards an iteration-based theory of data types 1-gen-1984 G., Germano; Mazzanti, Stefano
A setting for generalized computability 1-gen-1987 G., Germano; Mazzanti, Stefano
Primitive iteration and unary functions 1-gen-1988 G., Germano; Mazzanti, Stefano
Loose diagrams, semigroupoids, categories, groupoids and iteration 1-gen-1988 G., Germano; Mazzanti, Stefano
Closure functions and general iterates as reflectors 1-gen-1991 G., Germano; Mazzanti, Stefano
General iteration and unary functions 1-gen-1991 G., Germano; Mazzanti, Stefano
Fixed Point Iteration 1-gen-1992 G., Germano; Mazzanti, Stefano
Succinct iterative characterizations of primitive computable unary functions 1-gen-1995 Mazzanti, Stefano
Iterative characterizations of computable unary functions: a general method 1-gen-1997 Mazzanti, Stefano
Non-Deterministic Closure Theory and Universal Arrows 1-gen-2001 G., Germano; Mazzanti, Stefano
Plain bases for classes of primitive recursive functions 1-gen-2002 Mazzanti, Stefano
Cantor's diagrams: a unifying discussion of self-reference 1-gen-2003 Germano, G. M.; Mazzanti, Stefano
Peano Structures and the Semantics of Iteration 1-gen-2004 Germano, G. M.; Mazzanti, Stefano
Bounded iteration and unary functions 1-gen-2005 Mazzanti, Stefano
Programmazione di applicazioni grafiche in Java 1-gen-2006 Mazzanti, Stefano; Milanese, V.
Il Dizionario enciclopedico di Informatica, Inglese-Italiano, Italiano-Inglese, Zanichelli 1-gen-2009 Cancila, D; Mazzanti, Stefano
CRN elimination and Substitution Bases for Complexity Classes 1-gen-2012 Mazzanti, Stefano
Iteration on notation and unary functions 1-gen-2013 Mazzanti, Stefano
Logspace computability and regressive machines 1-gen-2014 Mazzanti, Stefano
Bases for AC0 and Other Complexity Classes 1-gen-2015 Mazzanti, Stefano
Mostrati risultati da 1 a 20 di 23
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