| Document Date: 2011-06-25 19:52:36
Open Document File Size: 203,01 KBShare Result on Facebook
Facility University of Toronto University / / IndustryTerm weak proof systems / proof systems / polytime algorithm / / Organization University of Edinburgh / University of Toronto University / / Technology polytime algorithm / /
SocialTag |
Subexponential AC0-Frege Simulates Frege Yuval Filmus1 Toniann Pitassi1 Rahul Santhanam2 1 2