First-order Definable String Transformations.
Emmanuel FiliotShankara Narayanan KrishnaAshutosh TrivediPublished in: FSTTCS (2014)
Keyphrases
- first order logic
- expressive power
- higher order
- action theories
- data structure
- string matching
- universally quantified
- information systems
- transitive closure
- regular expressions
- pattern matching
- edit distance
- graph matching
- context free grammars
- rough sets
- string similarity
- stochastic dominance
- knowledge representation