activity
20142024
most citedLogical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic

42 citations · 46 across the 4 of their papers we have counts for

collaborators
Showing 2020 · math.LOShow all

Nothing from them under that filter.

Their other years and fields are still on the left.