Generalized Hex and logical characterizations of polynomial space
Visualitza/Obre
generalized Hex.pdf (617,9Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
Tipus de documentArticle
Data publicació1997
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We extend a logical characterization of PSPACE due to Makowsky and Pnueli by showing that their logic has a particular
normal form which implies that the Generalized Hex problem is complete for PSPACE via very restricted logical reductions.
We also show that this normal form result fails in the absence of a built-in successor relation.
CitacióArratia, A.; Stewart, I. Generalized Hex and logical characterizations of polynomial space. "Information processing letters", 1997, vol. 63, núm. 3, p. 147-152.
ISSN0020-0190
Versió de l'editorhttp://www.lsi.upc.edu/~argimiro/mypapers/Journals/ipl97.pdf
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
generalized Hex.pdf | 617,9Kb | Accés restringit |