Skip to content

Small Depth Proof Systems.

Andreas Krebs, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah

VenueBMFCS
Year2013
ProceedingsMFCS

Browse the full MFCS paper archive.