On ground word problem of term equation systems
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.
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Published: |
2015
|
| Series: | Acta cybernetica
22 No. 2 |
| Kulcsszavak: | Egyenletmegoldás, Egyenletrendszer |
| Subjects: | |
| doi: | 10.14232/actacyb.22.2.2015.16 |
| Online Access: | http://acta.bibl.u-szeged.hu/36293 |
| Summary: | 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. |
|---|---|
| Physical Description: | 517-551 |
| ISSN: | 0324-721X |