Knowledge and Efficient Computation

Silvio Micali. Knowledge and Efficient Computation. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 353-362, Morgan Kaufmann, 1986.

Abstract

Abstract is missing.