Skip to content
cs-conference-ranking.org

No Feasible Interpolation for TC0-Frege Proofs.

Maria Luisa Bonet, Toniann Pitassi, Ran Raz

VenueA*FOCS
Year1997
ProceedingsFOCS
DBLP recordconf/focs/BonetPR97 ↗

Browse the full FOCS paper archive.