A Framework for Space Complexity in Algebraic Proof Systems.

Ilario Bonacina Nicola Galesi

Published in: J. ACM (2015)

Keyphrases

space complexity
building blocks
data sets
lightweight
main contribution
worst case
information retrieval systems
computer systems
learning systems
theoretical framework