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

Publiceret: 1993-04-01

Articles