Tilbage til artikeldetaljer
Completeness Results for Linear Logic on Petri Nets
Download
Download PDF