Weak Formal Systems / Extended Frege Proof Systems / /
Facility
University of California / /
OperatingSystem
Sequent / /
Organization
University of California / Berkeley / Mathematics Department / /
Person
Stephen Carrier Juan Bagaria Jim / John Grosh Martin Goldstern Chrystopher / Frederick Teti / Maria Bonet John Grosh Martin / Sam Buss / Jim Gloor Alessandro Berarducci Sam / Rohit J. Parikh / Frederick Teti Maria Bonet John / Al / Eric Hughes Stephen Carrier Juan / Martin Goldstern Chrystopher Nehaniv Eric / /