Logic, Mathematics Reverse Mathematics: Truncation, Reducibilities, and Computational Strength December 6, 2023
Computational Complexity, Computer Science Lower Bounds for NP Problems via Novel Kernelization Techniques July 16, 2023