A simple proof of sufficient conditions for the termination of the disjoint union of term rewriting systems.

Published in: Bull. EATCS (1993)

Keyphrases

sufficient conditions
term rewriting systems
exponential stability
linear systems
fixed point
lyapunov function
asymptotic stability
parallel thinning algorithm
equilibrium point
inference rules
robust stability