Logical Definability of Counting Functions.

Kevin J. Compton Erich Grädel

Published in: Computational Complexity Conference (1994)

Keyphrases

data sets
propositional logic
fixed point
feature selection
medical images
logical reasoning
logical operations