Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words.

Philipp Weis Neil Immerman

Published in: Electron. Colloquium Comput. Complex. (2007)

Keyphrases

hierarchical structure
first order logic
hierarchical structures
tree structure
class hierarchy
tree shaped
database
artificial intelligence
text categorization
n gram
related words