Login / Signup

Revisiting Matrix Interpretations for Proving Termination of Term Rewriting.

Friedrich NeurauterAart Middeldorp
Published in: RTA (2011)
Keyphrases
  • term rewriting
  • rewrite systems
  • theorem proving
  • theorem prover
  • operational semantics
  • knuth bendix
  • covariance matrix
  • inference rules
  • mobile robot
  • intelligent agents
  • low rank
  • linear algebra
  • term rewrite systems