1 Proof Complexity Meets Algebra

https://ift.tt/eA8V8J

Proof Complexity Meets Algebra. ALBERT ATSERIAS, Universitat Politècnica de Catalunya, Spain. JOANNA OCHREMIAK, Université Paris Diderot, ...

from Algebra