𝔖 Bobbio Scriptorium
✦   LIBER   ✦

For completeness, sublogarithmic space is no space

✍ Scribed by Manindra Agrawal

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
73 KB
Volume
82
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

✦ Synopsis

It is shown that for any class C closed under linear-time reductions, the complete sets for C under sublogarithmic reductions are also complete under 2DFA reductions, and thus are isomorphic under first-order reductions.

πŸ“œ SIMILAR VOLUMES

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 completeness theorem for operator spac
A completeness theorem for operator spaces
✍ Rolf Manne πŸ“‚ Article πŸ“… 1977 πŸ› Elsevier Science 🌐 English βš– 225 KB

A throrcm concerning the completeness of operator manifolds used for the generation of ionized electronic states by direct methods is formulated and proven.

No Space for Further Burials
No Space for Further Burials
✍ Feryal Ali Gauhar πŸ“‚ Fiction πŸ“… 2010;2013 πŸ› Akashic 🌐 English βš– 148 KB πŸ‘ 2 views

**A brutal and "fascinating" novel of an American held captive in an asylum in Afghanistan (Stewart O'Nan).** Set in Afghanistan in 2002, *No Space for Further Burials* is a chilling indictment of the madness of war and our collective complicity in the perpetuation of violence. The novel's na