Cardinality and counting quantifiers on omega-automatic structures.

Lukasz Kaiser Sasha Rubin Vince Bárány

Published in: STACS (2008)

Keyphrases

natural language
real time
databases
wide range
fully automatic
learning algorithm
image processing
decision trees
preprocessing
lower bound