𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A second step toward the polynomial hierarchy

✍ Scribed by Theodore P. Baker; Alan L. Selman


Publisher
Elsevier Science
Year
1979
Tongue
English
Weight
972 KB
Volume
8
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A second step towards complexity-theoret
✍ Lane A. Hemaspaandra; JΓΆrg Rothe πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 122 KB

Rice's Theorem states that every nontrivial language property of the recursively enumerable sets is undecidable. Borchert and Stephan (1997) initiated the search for complexity-theoretic analogs of Rice's Theorem. In particular, they proved that every nontrivial counting property of circuits is UP-h