Login / Signup
Certification of Proving Termination of Term Rewriting by Matrix Interpretations.
Adam Koprowski
Hans 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