Multi-oracle interactive protocols with constant space verifiers
- 30 April 1992
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 44 (2) , 259-271
- https://doi.org/10.1016/0022-0000(92)90021-a
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The Knowledge Complexity of Interactive Proof SystemsSIAM Journal on Computing, 1989
- Probabilistic game automataJournal of Computer and System Sciences, 1988
- The complexity of two-player games of incomplete informationJournal of Computer and System Sciences, 1984