On ACC0[pk] Frege proofs

Conference Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 1997, Pages 720-729

  Maciel, Alexis ^a   Pitassi, Toniann ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

POLYNOMIALS; PROBLEM SOLVING; THEOREM PROVING;

FREGE PROOFS;

COMPUTATION THEORY;

EID: 0030709642     PISSN: 07349025     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258533.258669     Document Type: Conference Paper

References (29)