The number of {□, →}-logics.

George F. Schumm

Published in: Math. Log. Q. (1990)

Keyphrases

small number
computational complexity
computational effort
database
data sets
computer vision
information systems
clustering algorithm
multiscale
expert systems
memory requirements