Login / Signup
Computational Complexity Via Finite Types.
Andrea Asperti
Published in:
ACM Trans. Comput. Log. (2015)
Keyphrases
</>
computational complexity
special case
finite number
computational efficiency
low complexity
database
information retrieval
metadata
similarity measure
support vector
lower bound
relational databases
computational cost
np complete
decision problems