On Termination of One Rule Rewrite Systems

Pierre Lescanne. On Termination of One Rule Rewrite Systems. Theoretical Computer Science, 132(2):395-401, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.