Login / Signup

Certification of Proving Termination of Term Rewriting by Matrix Interpretations.

Adam KoprowskiHans Zantema
Published in: SOFSEM (2008)
Keyphrases
  • term rewriting
  • rewrite systems
  • theorem proving
  • theorem prover
  • operational semantics
  • knuth bendix
  • database systems
  • first order logic
  • covariance matrix
  • databases
  • object oriented
  • software engineering
  • low rank