No. 435 (1993): PB-435 Completeness Results for Linear Logic on Petri Nets

Published: 1993-04-01