A Logical Account of PSPACE

Marco Gaboardi (1) , Jean-Yves Marion (2) , Simona Ronchi Della Rocca (1)

1 Dipartimento di Informatica [Torino]
2 CARTE - Theoretical adverse computations, and safety

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]

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⟩