Algebra Seminar talk
2017-12-01
Moritz Müller (Universität Wien, KGRC)
Proof Complexity
Abstract:
The talk gives a somewhat nonstandard presentation of Proof
Complexity from the perspective of mathematical logic.
2017-12-01
Moritz Müller (Universität Wien, KGRC)
Proof Complexity
Abstract:
The talk gives a somewhat nonstandard presentation of Proof
Complexity from the perspective of mathematical logic.