Old Web
English
Sign In
Acemap
>
Paper
>
Matrix Interpretations for Proving Termination of Term Rewriting
Matrix Interpretations for Proving Termination of Term Rewriting
2006
Jörg Endrullis
Johannes Waldmann
Hans Zantema
Keywords:
Algorithm
Discrete mathematics
Boolean satisfiability problem
Computer science
Matrix (mathematics)
Rewriting
Correction
Cite
Save
Machine Reading By IdeaReader
13
References
35
Citations
NaN
KQI
[]