𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ramified Corecurrence and Logspace

✍ Scribed by Ramyaa Ramyaa; Daniel Leivant


Book ID
113602738
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
238 KB
Volume
276
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Logspace and Logtime Leaf Languages
✍ Birgit Jenner; Pierre McKenzie; Denis ThΓ©rien πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 611 KB
A note on logspace optimization
✍ Carme Γ€lvarez; Birgit Jenner πŸ“‚ Article πŸ“… 1995 πŸ› Springer 🌐 English βš– 642 KB
LOGSPACE and PTIME characterized by prog
✍ Neil D. Jones πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 180 KB

A programming approach to computability and complexity theory yields more natural deΓΏnitions and proofs of central results than the classical approach. Further, some new results can be obtained using this viewpoint. This paper contains new intrinsic characterizations of the wellknown complexity clas

Structure and importance of logspace-MOD
✍ Gerhard Buntrock; Carsten Damm; Ulrich Hertrampf; Christoph Meinel πŸ“‚ Article πŸ“… 1992 πŸ› Springer 🌐 English βš– 812 KB
Ramifying phylum
✍ Yonge, C. M. πŸ“‚ Article πŸ“… 1977 πŸ› Nature Publishing Group 🌐 English βš– 195 KB