Matrix Interpretations for Proving Termination of Term Rewriting.

Jörg Endrullis Johannes Waldmann Hans Zantema

Published in: J. Autom. Reason. (2008)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
operational semantics
knuth bendix
low rank
artificial intelligence
data model
covariance matrix
singular value decomposition
linear algebra
online learning