Boundedness of Monadic Second-Order Formulae over Finite Words.
Achim BlumensathMartin OttoMark WeyerPublished in: ICALP (2) (2009)
Keyphrases
- datalog programs
- valued logic
- higher order
- deductive databases
- sufficient conditions
- n gram
- finite sets
- related words
- keywords
- database systems
- datalog queries
- english words
- function symbols
- word recognition
- text documents
- query answering
- conjunctive queries
- word segmentation
- word pairs
- data exchange
- finite automata
- high order
- information retrieval systems
- data model
- similarity measure
- machine learning