## The Deduction Rule and Linear and Near-linear Proof Simulations

### Cached

### Download Links

- [www.math.ucsd.edu]
- [math.ucsd.edu]
- [euclid.ucsd.edu]
- [euclid.ucsd.edu]
- [math.ucsd.edu]
- DBLP

### Other Repositories/Bibliography

by
Maria Luisa Bonet
,
Samuel R. Buss

Citations: | 10 - 5 self |