Author: Impagliazzo R. Wigderson A.
Publisher: Academic Press
ISSN: 0022-0000
Source: Journal of Computer and System Sciences, Vol.63, Iss.4, 2001-12, pp. : 672-688
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Assumption/guarantee specifications in linear-time temporal logic
Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. :
Mathematical metaphysics of randomness
By Muchnik A.A. Semenov A.L. Uspensky V.A.
Theoretical Computer Science, Vol. 207, Iss. 2, 1998-11 ,pp. :
Journal of Computer and System Sciences, Vol. 52, Iss. 1, 1996-02 ,pp. :