13th Annual IEEE Conference on Computational Complexity (CoCo'98) Complete Problems for Promise Classes by Optimal Proof Systems for Test Sets Buffalo, New York June 15-June 18 ISBN: 0-8186-8395-3
Citation:
J. Köbler, J. Messner, "Complete Problems for Promise Classes by Optimal Proof Systems for Test Sets," ccc, pp.132, 13th Annual IEEE Conference on Computational Complexity (CoCo'98), 1998 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||