The following pages link to An implementation of narrowing (Q3821639):
Displaying 8 items.
- A rationale for conditional equational programming (Q915429) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Logical debugging (Q1322853) (← links)
- (Q3490928) (← links)
- (Q3774997) (← links)
- Uniform Lazy Narrowing (Q4461934) (← links)
- An abstract concurrent machine for rewriting (Q5096204) (← links)
- Activation through a Narrow Opening (Q5451629) (← links)