Narrowing-based simulation of term rewriting systems with extra variables


Term rewriting systems (TRSs) extended by allowing to contain extra variables in their rewrite rules are called EV-TRSs. They are ill-natured since every one-step reduction by their rules with extra variables is infinitely branching and they are not terminating. To solve these problems, this paper shows that narrowing can simulate reduction sequences of EV… (More)
DOI: 10.1016/S1571-0661(04)80693-5


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics