DIMACS Workshop on Feasible Arithmetics and Length of Proofs

April 21 - 24, 1996
Rutgers University, DIMACS Center, Piscataway, NJ

Paul Beame, University of Washington, beame@cs.washington.edu
Sam Buss, University of California - San Diego, sbuss@cs.ucsd.edu
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms

Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on July 8, 1998.