deutsch
english
Publication View
42657562
Maurer, and Rozenberg, editors, Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Proceedings, (2007)
Gordon Plotkin
,
Glynn Winskel Bistructures
,
Javier Esparza
,
Decidability Issues
,
Petri Nets
,
Andr Joyal
,
Mogens Nielsen
,
Mogens Nielsen
Publication details
Download
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.16.3664
Source
http://www.brics.dk/RS/94/Ref/BRICS-RS-94-Ref/../BRICS-RS-94-Ref.ps.gz
Contributors
CiteSeerX
Repository
CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords
Uffe H. Engberg and Glynn Winskel. Linear Logic on Petri Nets. February
Type
text
Language
English
Relation
10.1.1.29.7086, 10.1.1.29.4946, 10.1.1.16.6013