Sciweavers

MFCS
1993
Springer

Completeness Results for Linear Logic on Petri Nets

14 years 4 months ago
Completeness Results for Linear Logic on Petri Nets
Uffe Engberg, Glynn Winskel
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where MFCS
Authors Uffe Engberg, Glynn Winskel
Comments (0)