Sciweavers

ENTCS
2002

Isolating Resource Consumption in Linear Logic Proof Search

13 years 11 months ago
Isolating Resource Consumption in Linear Logic Proof Search
Pablo López, Ernesto Pimentel, Joshua S. Ho
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova
Comments (0)