From petri nets to linear logic (Q5096267): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: *-autonomous categories. With an appendix by Po-Hsiang Chu / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3210197 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: System modelling with high-level Petri nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The linear abstract machine / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deductive systems and categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5595187 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5655525 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Adjointness in Foundations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5655527 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence in categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Why commutative diagrams coincide with equivalent proofs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Petri nets are monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5559220 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3219122 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3827993 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bfb0018359 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2151402914 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:27, 30 July 2024
scientific article; zbMATH DE number 7572049
Language | Label | Description | Also known as |
---|---|---|---|
English | From petri nets to linear logic |
scientific article; zbMATH DE number 7572049 |
Statements
From petri nets to linear logic (English)
0 references
16 August 2022
0 references