A second-order axiomatic theory of strings.

Howard C. Wasserman

Published in: Notre Dame J. Formal Log. (1978)

Keyphrases

higher order
theoretical framework
decision theory
image processing
theoretical basis
database
information systems
similarity measure
hamming distance
possibility theory
difference equations
axiomatic characterization