Login / Signup
On the computational complexity of cut-reduction.
Klaus Aehlig
Arnold Beckmann
Published in:
Ann. Pure Appl. Log. (2010)
Keyphrases
</>
computational complexity
complexity reduction
np complete
computationally efficient
np hard
special case
database
low complexity
reduction method
high computational complexity
feature space
e learning
computational cost
motion estimation
artificial intelligence
information retrieval
data sets