A Logical Account of PSPACE - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

A Logical Account of PSPACE

Marco Gaboardi
  • Fonction : Auteur
  • PersonId : 864634
Dipartimento di Informatica [Torino]
Jean-Yves Marion
Theoretical adverse computations, and safety
Simona Ronchi Della Rocca
  • Fonction : Auteur
  • PersonId : 856097
Dipartimento di Informatica [Torino]

Résumé

The Soft Type Assignment system has been introduced as a language for Polytime Computations. In this work we extend the language by boolean additives constants obtaining a system named BSTA which we will show to be correct and complete for the complexity class of problem decidable in polynomial space.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
poplGMR.pdf (189.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jean-Yves Marion  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00342323

Soumis le : jeudi 4 décembre 2008-12:10:50

Dernière modification le : mardi 9 janvier 2024-12:34:04

Archivage à long terme le : jeudi 11 octobre 2012-12:11:34

Télécharger pour visualiser

Dates et versions

hal-00342323 , version 1 (04-12-2008)

Identifiants

  • HAL Id : hal-00342323 , version 1

Citer

Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca. A Logical Account of PSPACE. Symposium on Principles of Programming Languages - POPL'08, Jan 2008, San Francisco, United States. pp.121-131. ⟨hal-00342323⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
150 Consultations
158 Téléchargements

Partager

More