DIMACS Workshop on Feasible Arithmetics and Length of Proofs
April 21 - 24, 1996
Rutgers University, DIMACS Center, Piscataway, NJ
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms
- Paul Beame, University of Washington, firstname.lastname@example.org
- Sam Buss, University of California - San Diego, email@example.com
Contacting the Center
Document last modified on July 8, 1998.