The existential fragment of S1S over element and successor is the co-Buchi languages.

Published in: CoRR (2014)

Keyphrases

expressive power
databases
machine learning
artificial intelligence
np complete
query answering
language independent
database
real time
information retrieval
search engine
decision trees
data complexity
linguistic resources
native language