Data type specification: Parameterization and the power of specification techniques
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1978
- STOC 1978
Conference paper
Publications
4 results at STOC 1978
On formulating simultaneity for studying parallelism and synchronization
- Raymond E. Miller
- Chee K. Yap
- 1978
- STOC 1978
Conference paperComputational complexity of computing polynomials over the fields of real and complex numbers
- V.Ya. Pan
- 1978
- STOC 1978
Conference paperExact and approximate membership testers
- Larry Carter
- Robert Floyd
- et al.
- 1978
- STOC 1978
Conference paper