Articles
Call-by-Need Reduction for Membership Conditional Term Rewriting Systems

https://doi.org/10.1016/S1571-0661(05)82617-9Get rights and content
Under a Creative Commons license
open access

Abstract

This paper proves that, for a normal membership conditional term rewriting system (MCTRS), (1) a reducible term has a needed redex if the MCTRS is nonoverlapping, and (2) whether a redex is nv-needed is decidable.

Cited by (0)