Generalized Sufficient Conditions for Modular Termination of Rewriting.

Bernhard Gramlich

Published in: ALP (1992)

Keyphrases

sufficient conditions
termination analysis
asymptotic stability
exponential stability
lyapunov function
real time
fixed point
linear systems
asymptotic optimality
optimal solution
fuzzy sets
optimal policy
rewrite rules