A Note on Decidable Separability by Piecewise Testable Languages.

Wojciech Czerwinski Wim Martens Lorijn van Rooijen Marc Zeitoun

Published in: FCT (2015)

Keyphrases

expressive power
first order logic
databases
linear model
transitive closure
piecewise linear
query translation
multi lingual
english text
class separability
description languages
dimensionality reduction
language independent
text summarization
function free horn