𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A decidable characterization of the classes between lintime and exptime

✍ Scribed by Salvatore Caporaso

Book ID
108153434
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
85 KB
Volume
97
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A predicative and decidable characteriza
A predicative and decidable characterization of the polynomial classes of languages
✍ S. Caporaso; M. Zito; N. Galesi πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 149 KB

Characterizations of PTIME, PSPACE, the polynomial hierarchy and its elements are given, which are decidable (membership can be decided by syntactic inspection to the constructions), predicative (according to points of view by Leivant and others), and are obtained by means of increasing restrictions