=ADD=
=reftype=
14
=number=
99-14
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-14.ps.gz
=year=
1999
=month=
06
=author=
Marin; Mircea + Ida; Tetsuo + Middeldorp; Aart + Yanagi; Takura
=title=
LNCA: A Lazy Narrowing Calculus for Applicative Term Rewriting Systems
=abstract=
We propose a new calculus, called LNCA, to deal efficiently with confluent
applicative term rewriting systems, and prove its soundness and
completeness.
=note=
Also published as Technical Report ISE-TR-99-158, Tsukuba, Japan
=sponsor=

=keywords=
functional logic programming, lazy narrowing