Algebraic Characterization of FO for Scattered Linear Orderings.

Alexis Bès Olivier Carton

Published in: CSL (2011)

Keyphrases

constraint query languages
real world
artificial intelligence
relational model
linear systems
fixpoint
information retrieval
computer vision
case study
special case
higher order
expressive power
closed form
linear model
transitive closure
simple linear