Uniform Definability on Finite Structures with Successor

Michel de Rougemont

Published in: STOC (1984)

Keyphrases

fixed point
data sets
propositional logic
finite number
case study
machine learning
feature selection
web pages
web services
multiscale
digital libraries
xml documents