Possibly Related Publications

The following publications are possibly variants of this publication:

• Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue SystemsFriedrich Otto. RTA 1985: 95-106
• Church-Rosser Thue Systems that Present Free MonoidsFriedrich Otto. SICOMP, 15(3):786-792, 1986.
• The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-CompletePaliath Narendran, Friedrich Otto, Karl Winklmann. iandc, 63(1/2):58-66, October/November 1984.
• Some Polynomial-Time Algorithms for Finite Monadic Church-Rosser Thue SystemsPaliath Narendran, Friedrich Otto. TCS, 68(3):319-332, 1989.
• Church-Rosser Thue systems and formal languagesRobert McNaughton, Paliath Narendran, Friedrich Otto. JACM, 35(2):324-344, 1988. [doi]
• Some Undecidability Results for Non-Monadic Church-Rosser Thue SystemsFriedrich Otto. TCS, 33:261-278, 1984.