Pavel Pudlák

  1. Title:
    Propositional proofs and monotone computations
    Speaker:
    Pavel Pudlák

    Link:
    https://video-archive.fields.utoronto.ca/view/10355