DMCA

The Deduction Rule and Linear and Near-linear Proof Simulations

by Maria Luisa Bonet , Samuel R. Buss
Citations:12 - 5 self