1. Home
  2. Science
  3. Mathematics
  4. Completeness Results for Linear Logic on Petri Nets (1993)

Science · Mathematics

Completeness Results for Linear Logic on Petri Nets (1993)

Listed in the directory · updated 23 Jul 2022

Find them on

About Completeness Results for Linear Logic on Petri Nets (1993)

Completeness Results for Linear Logic on Petri Nets (1993)- (CiteSeer) Article by Engberg and Winskel showing that Petri nets provide a class of model for linear logic that is complete.

Tags

Where it sits

More in Mathematics

See all →