A Structural Analysis of Modular Termination of Term Rewriting Systems

@inproceedings{Gramlich1991ASA,
  title={A Structural Analysis of Modular Termination of Term Rewriting Systems},
  author={Bernhard Gramlich},
  year={1991}
}
Modular properties of term rewriting systems, i.e. properties which are preserved under disjoint unions, have attracted an increasing attention within the last few years. Whereas connuence is modular this does not hold true in general for termination. By means of a careful analysis of potential counterexamples we prove the following abstract result. Whenever the disjoint union R 1 R 2 of two ((nite) terminating term rewriting systems R 1 , R 2 is non-terminating, then one of the systems, say R… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES