Existential Instantiation and Strong Normalization.

Published in: LFCS (1997)

Keyphrases

preprocessing
query answering
normalization method
databases
neural network
image processing
high level
pattern recognition
natural language
computational complexity
artificial neural networks