The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic.

Harvey Friedman Michael Sheard

Published in: J. Symb. Log. (1989)

Keyphrases

similarity measure
databases
data mining
search engine
image processing
case study
multiresolution
topological properties