Termination of String Rewriting with Matrix Interpretations.
Dieter HofbauerJohannes WaldmannPublished in: RTA (2006)
Keyphrases
- termination analysis
- presburger arithmetic
- regular expressions
- data structure
- low rank
- edit distance
- databases
- singular value decomposition
- neural network
- rewriting systems
- regular path queries
- pattern matching
- covariance matrix
- active databases
- query rewriting
- active rules
- positive definite
- type checking
- coefficient matrix
- binary strings
- rewriting rules
- rewrite systems
- sufficient conditions
- special case
- genetic algorithm