- Home
- Science
- Mathematics
- 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
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.