✦ LIBER ✦

Playing disjunctive sums is polynomial space complete

✍ Scribed by F. L. Morris

Book ID: 105300636
Publisher: Springer-Verlag
Year: 1981
Tongue: English
Weight: 607 KB
Volume: 10
Category: Article
ISSN: 0020-7276
DOI: 10.1007/bf01755964

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Intuitionistic propositional logic is po

Intuitionistic propositional logic is polynomial-space complete

✍ Richard Statman 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 532 KB

Infiniteness of proof(α) is polynomial-s

Infiniteness of proof(α) is polynomial-space complete

✍ Sachio Hirokawa 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 546 KB

It is shown that the infiniteness problem of proof (a) is polynomial-space complete. The set proof (~) is the set of closed I-terms in p-normal form which has a as their types. The set is identical to the set of normal form proofs of a in the natural deduction system for implicational fragment of in

A Combinatorial Problem Which Is Complet

A Combinatorial Problem Which Is Complete in Polynomial Space

✍ Even, S.; Tarjan, R. E. 📂 Article 📅 1976 🏛 Association for Computing Machinery 🌐 English ⚖ 537 KB

A Combinatorial Problem Which Is Complet

A Combinatorial Problem Which Is Complete in Polynomial Space

✍ Even, S.; Tarjan, R. E. 📂 Article 📅 1976 🏛 Association for Computing Machinery 🌐 English ⚖ 537 KB

This paper considers a generalization, called the Shannon switching game on vertices, of a familiar board game called Hex. It is shown that determining who wins such a game if each player plays perfectly is very hard; in fact, if this game problem is solvable in polynomial time, then any problem sol