AI helps you reading Science
AI generates interpretation videos
AI extracts and analyses the key points of the paper to generate videos automatically
AI parses the academic lineage of this thesis
Termination of Rewriting With Strategy Annotations
LPAR, pp.669-684, (2001)
We investigate termination of rewriting computations guided by strategy annotations. We show that proofs of termination can be obtained by proving(innermost) termination of context-sensitive rewriting( CSR). Hence, we investigate how to prove innermost termination of CSR usingexistingmetho ds for provingtermination of CSR.
PPT (Upload PPT)