Completeness results for linear logic on Petri nets
type: Item
instance of: scholarly article
title: Completeness results for linear logic on Petri nets
zbMATH Open document ID: 0873.03005
DOI: 10.1016/S0168-0072(96)00024-3
author: Uffe Engberg
author: Glynn Winskel
published in: Annals of Pure and Applied Logic
publication date: 1997-10-26T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 1038659
zbMATH Keywords: completeness
zbMATH Keywords: Petri net semantics
zbMATH Keywords: fragments of linear logic
zbMATH Keywords: intuitionistic linear logic
zbMATH Keywords: atomic nets
MaRDI profile type: Publication
cites work: Q4027625
cites work: Linear logic
cites work: Q3791120
cites work: The linear abstract machine
cites work: FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
cites work: Q3670575
cites work: Q3197878
cites work: Quantales and (noncommutative) linear logic
full work available at URL: s0168-0072(96)00024-3
OpenAlex ID: W1990495483
description: scientific article; zbMATH DE number 1038659