Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems
We show that it is undecidable whether the intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems is equal to the reflexive transitive closure of a rewrite relation induced by a term rewriting system. (C) 2018 Elsevier B.V. All rights reserved.
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2018
|
| Sorozat: | INFORMATION PROCESSING LETTERS
134 |
| doi: | 10.1016/j.ipl.2018.02.005 |
| mtmt: | 3389343 |
| Online Access: | http://publicatio.bibl.u-szeged.hu/13933 |
| Tartalmi kivonat: | We show that it is undecidable whether the intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems is equal to the reflexive transitive closure of a rewrite relation induced by a term rewriting system. (C) 2018 Elsevier B.V. All rights reserved. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 47-51 |
| ISSN: | 0020-0190 |