Interactive Proof Systems with Public Coin: Lower Space Bounds and Hierarchies of Complexity Classes

Maciej Liskiewicz. Interactive Proof Systems with Public Coin: Lower Space Bounds and Hierarchies of Complexity Classes. In Rüdiger Reischuk, Michel Morvan, editors, STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings. Volume 1200 of Lecture Notes in Computer Science, pages 129-140, Springer, 1997.

Abstract

Abstract is missing.