Limited Set quantifiers over Countable Linear Orderings.

Thomas Colcombet A. V. Sreejith

Published in: ICALP (2) (2015)

Keyphrases

closed form
database
real time
case study
input data
machine learning
genetic algorithm
natural language
markov chain
user defined
hierarchical structure
linear inequalities