Petri Nets as Models of Linear Logic

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	CAAP '90 : 15th Colloquium on Trees in Algebra and Programming
Redaktører	André Arnold
Forlag	Springer
Publikationsdato	1990
Sider	147-161
ISBN (Trykt)	3-540-52590-4
Status	Udgivet - 1990
Begivenhed	Colloquium on Trees in Algebra and Programming - Copenhagen, Danmark Varighed: 15 maj 1990 → 18 maj 1990 Konferencens nummer: 15

Konference	Colloquium on Trees in Algebra and Programming
Nummer	15
Land/Område	Danmark
By	Copenhagen
Periode	15/05/1990 → 18/05/1990

Navn	Lecture Notes in Computer Science
Vol/bind	431

Tjek tilgængelighed hos det Kgl. Bibliotek

@inproceedings{d9424930958211dd868b000ea68e967b,

title = "Petri Nets as Models of Linear Logic",

author = "Engberg, {Uffe Henrik} and Glynn Winskel",

year = "1990",

language = "English",

isbn = "3-540-52590-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "147--161",

editor = "Andr{\'e} Arnold",

booktitle = "CAAP '90",

address = "Netherlands",

note = "Colloquium on Trees in Algebra and Programming ; Conference date: 15-05-1990 Through 18-05-1990",

}

TY - GEN

T1 - Petri Nets as Models of Linear Logic

AU - Engberg, Uffe Henrik

AU - Winskel, Glynn

N1 - Conference code: 15

PY - 1990

Y1 - 1990

M3 - Article in proceedings

SN - 3-540-52590-4

T3 - Lecture Notes in Computer Science

SP - 147

EP - 161

BT - CAAP '90

A2 - Arnold, André

PB - Springer

T2 - Colloquium on Trees in Algebra and Programming

Y2 - 15 May 1990 through 18 May 1990

ER -