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.

Saved in:
Bibliographic Details
Main Author: Vágvölgyi Sándor
Format: Article
Published: 2018
Series:INFORMATION PROCESSING LETTERS 134
doi:10.1016/j.ipl.2018.02.005

mtmt:3389343
Online Access:http://publicatio.bibl.u-szeged.hu/13933
Description
Summary: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.
Physical Description:47-51
ISSN:0020-0190