A Logical Account of PSPACE
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]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...