Sciweavers

JSC
1998
53views more  JSC 1998»

A Deterministic Lazy Narrowing Calculus

15 years 7 months ago
A Deterministic Lazy Narrowing Calculus
Aart Middeldorp, Satoshi Okui
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1998
Where JSC
Authors Aart Middeldorp, Satoshi Okui
Comments (0)