Cardinality and counting quantifiers on omega-automatic structures

Lukasz Kaiser Sasha Rubin Vince Bárány

Published in: CoRR (2008)

Keyphrases

semi automatic
wide range
fully automatic
information retrieval
first order logic
real world
machine learning
decision making
image processing
cooperative
expert systems
structural analysis