Publications

132 results at Theoretical Computer Science

The polynomial-time hierarchy
- - Larry J. Stockmeyer
- 1976
- Theoretical Computer Science
Correctness of parallel programs: The Church-Rosser approach
- - Barry K Rosen
- 1976
- Theoretical Computer Science

The polynomial-time hierarchy