No feasible interpolation for TC0-Frege proofs

Annual Symposium on Foundations of Computer Science - Proceedings

Volumn , Issue , 1997, Pages 254-263

  Bonet, Maria Luisa ^a   Pitassi, Toniann ^a   Raz, Ran ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; THEOREM PROVING;

FREGE SYSTEMS;

INTERPOLATION;

EID: 0031352185     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)