DIMACS Workshop on Feasible Arithmetics and Length of Proofs
April 21 - 24, 1996
Rutgers University, DIMACS Center, Piscataway, NJ
- Organizers:
- 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.