Demandness in Rewriting and Narrowing (2002)

Cached

Download Links

by Sergio Antoy , Salvador Lucas
Venue:Proc. of the 11th Int’l Workshop on Functional and (Constraint) Logic Programming WFLP’02, volume 76 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher
Citations:11 - 4 self