Universal Quantifiers and Time Complexity of Random Access Machines.

Etienne Grandjean

Published in: Math. Syst. Theory (1985)

Keyphrases

random access
solid state
multiview video coding
disk storage
kolmogorov complexity
flash memory
turing machine
computational complexity
first order logic
memory size
database
database systems
data structure
processing elements