Hello Michael,
On Tue, May 24, 2011 at 9:57 PM, Michael Hanus <mh_at_informatik.uni-kiel.de>wrote:
> Unfortunately, the relation between residuation and narrowing
> is still not clear since there are also examples where
> narrowing has a finite search space whereas the use of
> residuation leads to an infinite seach space.
Can you (or somebody else) remind me of such an example?
Sebastian
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on So Mai 29 2011 - 08:24:25 CEST