From petri nets to linear logic (Q5096267): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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 / namelinks / 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
    0 references
    0 references
    16 August 2022
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references