Sign in
Overlap Closures do not Suffice for Termination of General Term Rewriting Systems.
Xubo Zhang
Published in:
Inf. Process. Lett. (1991)
Keyphrases
</>
term rewriting systems
special case
data structure
general purpose