Monotone simulations of nonmonotone proofs

Proceedings 16th Annual IEEE Conference on Computational Complexity ◽

10.1109/ccc.2001.933870 ◽

2002 ◽

Author(s):

A. Atserias ◽

N. Galesi ◽

P. Pudlak

Download Full-text