Decidable Expansions of Labelled Linear Orderings

Alexis Bès Alexander Rabinovich

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

real time
genetic algorithm
closed form
image processing
decision trees
lower bound
first order logic
simple linear