[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |
Originator: Pierre Lescanne
Date: April 1991
Summary: Develop effective methods to decide whether a system decreases with respect to some exponential interpretation.
Polynomial and exponential interpretations have been used to prove termination. For the former there are some reasonable methods [CL87, Lan79] that can help determine if a particular interpretation decreases with each application of a rule. Are there other implementable methods suitable for exponential interpretations?
Some work on this problem has been reported in [Les92].
[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |