Login / Signup

Almost all one-rule thue systems have decidable word problems.

Ronald V. BookCraig C. Squier
Published in: Discret. Math. (1984)
Keyphrases
  • word problems
  • learning systems
  • computer aided