A new proof of the locality of R.

Howard Straubing

Published in: Int. J. Algebra Comput. (2015)

Keyphrases

theorem prover
linear logic
neural network
theorem proving
data sets
data structure
video sequences
digital libraries
multiresolution
information retrieval systems
spatial locality
partial replication