Logical Definability of Counting Functions.

Kevin J. Compton Erich Grädel

Published in: J. Comput. Syst. Sci. (1996)

Keyphrases

fixed point
propositional logic
real time
neural network
search engine
feature selection
image processing
multiscale
multi valued