𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the approximation of reduction classes of RPC by decidable classes

✍ Scribed by S. A. Norgela

Publisher
Springer US
Year
1980
Tongue
English
Weight
234 KB
Volume
14
Category
Article
ISSN
1573-8795

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