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

A characterization of FL without bounds

Mazzanti, Stefano A characterization of FL without bounds. [Working Papers] (Non pubblicato)

full text

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

Abstract

The set of logspace computable functions is inductively characterized by means of an enhanced form of concatenation recursion on notation. The new characterization avoids the use of bounded and safe recursion schemata.

Tipologia del documento:Working Papers
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:267
Depositato da :Stefano Mazzanti
Depositato il :25 Lug 2011 12:56
Ultima modifica:25 Lug 2011 12:56

Solo per Staff dell'archivio: Gestione del Documento