Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems
Under a Creative Commons license
open access
Keywords
Context-Sensitive Termination
Dependency Pair
Innermost Termination
Cited by (0)
Copyright © 2008 Elsevier B.V.