Login / Signup

On the computational complexity of cut-reduction.

Klaus AehligArnold Beckmann
Published in: Ann. Pure Appl. Log. (2010)
Keyphrases