Termination of Cycle Rewriting by Transformation and Matrix Interpretation.
David SabelHans ZantemaPublished in: Log. Methods Comput. Sci. (2017)
Keyphrases
- termination analysis
- transformation matrix
- orthogonal projection
- neural network
- positive definite
- active rules
- singular value decomposition
- covariance matrix
- high level
- databases
- image interpretation
- datalog programs
- hopfield neural network
- transformation rules
- special case
- sparse matrix
- rewrite rules
- presburger arithmetic