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.
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2015
|
| Sorozat: | Acta cybernetica
22 No. 2 |
| Kulcsszavak: | Egyenletmegoldás, Egyenletrendszer |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.22.2.2015.16 |
| Online Access: | http://acta.bibl.u-szeged.hu/36293 |
| Tartalmi kivonat: | 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. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 517-551 |
| ISSN: | 0324-721X |