On ground word problem of term equation systems
AbstractWe 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.
Download data is not yet available.
How to Cite
Vágvölgyi, S. (2015). On ground word problem of term equation systems. Acta Cybernetica, 22(2), 517-551. https://doi.org/10.14232/actacyb.22.2.2015.16