The following pages link to (Q3771660):
Displaying 9 items.
- On completeness of narrowing strategies (Q912605) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- A hybrid programming scheme combining fuzzy-logic and functional-logic resources (Q1037954) (← links)
- Narrowing vs. SLD-resolution (Q1105364) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Basic narrowing revisited (Q1824412) (← links)
- Completion-time optimization of rewrite-time goal solving (Q5055711) (← links)
