On Ground Word Problem of Term Equation Systems
Sándor Vágvölgyi · Acta Cybernetica · 2015
We give semi-decision procedures for the ground word problem of variable preserving term equation systems and term equation systems. They are natural improvements of two well known trivial semi-decision procedures. We show the correctness of our procedures.