Complete Selection Functions for a Lazy Conditional Narrowing Calculus

In this paper we extend the lazy narrowing calculus lnc of Middeldorp, Okui, and Ida [26] to conditional rewrite systems. The resulting lazy conditional narrowing calculus lcnc is highly non-deterministic. We investigate for which classes of conditional rewrite systems the completeness of lcnc is ensured. In order to improve the efficiency of the calculus, we pay special attention to the removal of non-determinism due to the selection of equations in goals by fixing a selection strategy. 1 

• Type: Journal
• Year: 2002
• Where: JFLP
• Authors: Aart Middeldorp, Taro Suzuki, Mohamed Hamada
• Keywords: JFLP 2002, Narrowing Calculus, Narrowing Calculus Lnc, Rewrite Systems