Polynomial Size Deep-Inference Proofs Instead Of Exponential Size Shallow-Inference Proofs (2004)

Cached

Download Links

by Alessio Guglielmi
Citations:6 - 0 self