Esiti della ricerca
Digita i termini da ricercare in tutto l'archivio:

CRN elimination and substitution bases for complexity classes

Mazzanti, Stefano CRN elimination and substitution bases for complexity classes. Working Paper. . (Sottomesso)

full text

[img]
Anteprima
Documento PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
392Kb

Abstract

Function classes closed with respect to substitution and concatenation recursion on notation are defined as the substitution closure of finite function sets. Consequently, the sets of TC0, NC1 and L computable functions are inductively characterized as the substitution closure of a finite function set.

Tipologia del documento:Monografia (Working Paper)
Soggetti:Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Struttura:Dipartimenti > Dadi Teorie e pratiche delle arti e del disegno industriale (soppresso)
Codice ID:311
Depositato da :Stefano Mazzanti
Depositato il :31 Ott 2011 10:32
Ultima modifica:31 Ott 2011 10:32

Solo per Staff dell'archivio: Gestione del Documento