Ranked enumeration of MSO logic on words.
Pierre BourhisAlejandro GrezLouis JachietCristian RiverosPublished in: CoRR (2020)
Keyphrases
- monadic second order logic
- regular expressions
- modal logic
- n gram
- expressive power
- classical logic
- search space
- predicate logic
- automated reasoning
- keywords
- logic programming
- proof theory
- asynchronous circuits
- word recognition
- multi valued
- word sense disambiguation
- retrieved documents
- default logic
- information retrieval
- integrity constraints
- text documents
- english words
- pattern matching