Pudlák, Pavel

1. 06111 Executive Summary – Complexity of Boolean Functions
   2006/01/01 by Matthias Krause, Krause, Matthias, Dieter van Melkebeek +5 · 1 citation
   Computer Science · #Advanced Algebra and Logic
2. Reflection principles, propositional proof systems, and theories
   2020/07/29 by Pudlák, Pavel · 1 citation
   #03F20 #FOS: Mathematics #Logic (math.LO)