FO[<]-Uniformity.

Christoph Behle Klaus-Jörn Lange

Published in: Computational Complexity Conference (2006)

Keyphrases

first order logic
transitive closure
relational model
fixpoint
database
image processing
data sets
similarity measure
multi agent
data structure
video sequences
natural language
computational complexity
expressive power
constraint query languages