Term Rewrite Systems for Lattice Theory.

Ralph Freese Jaroslav Jezek James B. Nation

Published in: J. Symb. Comput. (1993)

Keyphrases

lattice theory
term rewrite systems
propositional logic
morphological operators
rewrite rules
mathematical morphology
neural computation
horn clauses
pattern analysis
query optimization
neural network
feature extraction
multiscale
prior knowledge
background knowledge