TY  - CHAP
AU  - López-Fraguas, Francisco
AU  - Rodríguez-Hortalá, Juan
AU  - Sánchez-Hernández,, Jaime
A4  - Seipel, D.
A4  - Hanus, M.
A4  - Wolf, A.
PY  - 2009
DO  - 10.1007/978-3-642-00675-3_14
SN  - 978-3-642-00674-6
UR  - https://hdl.handle.net/20.500.14352/53195
AB  - In a recent work we have proposed let-rewriting, a simple one-step relation close to ordinary term rewriting but able, via local bindings, to express sharing of computed values. In this way, let-rewriting reflects the call-time choice semantics for...
LA  - eng
M2  - 206
PB  - Springer
TI  - Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics
TY  - book part
ER  -