Logarithmic Space and Permutations - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2013

Logarithmic Space and Permutations

Thomas Seiller

Résumé

In a recent work, Girard proposed a new and innovative approach to computational complexity based on the proofs-as-programs correspondence. In a previous paper, the authors showed how Girard's proposal succeeds in obtaining a new characterization of co-NL languages as a set of operators acting on a Hilbert Space. In this paper, we extend this work by showing that it is also possible to define a set of operators characterizing the class L of logarithmic space languages.
Fichier principal
Vignette du fichier
logarithmic_space_and_permutations.pdf (282.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01005701 , version 1 (16-02-2015)

Licence

Identifiants

Citer

Clément Aubert, Thomas Seiller. Logarithmic Space and Permutations. 2013. ⟨hal-01005701⟩
144 Consultations
121 Téléchargements

Altmetric

Partager

More