ArticlesInduction for termination with local strategies
Under a Creative Commons license
open access
Keywords
Rewriting
termination
local strategy on operators
rule-based languages
induction
narrowing
ordering constraints
Cited by (0)
Copyright © 2001 Published by Elsevier B.V.