Sciweavers

LICS
1999
IEEE

Correctness of Multiplicative Proof Nets Is Linear

14 years 3 months ago
Correctness of Multiplicative Proof Nets Is Linear
Stefano Guerrini
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where LICS
Authors Stefano Guerrini
Comments (0)