Elements of Finite Order for Finite Weight-Reducing and Confluent Thue Systems

Paliath Narendran, Friedrich Otto. Elements of Finite Order for Finite Weight-Reducing and Confluent Thue Systems. Acta Informatica, 25(5):573-591, 1988.

Abstract

Abstract is missing.