Logic

Research Frontiers in Proof Complexity and Lower Bounds

Study of the length and structure of formal proofs as computational objects with applications to propositional complexity.

All Logic PhD categories