The completeness of linear logic for Petri net models (Q2743640)

From MaRDI portal
Revision as of 21:31, 19 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The completeness of linear logic for Petri net models
scientific article

    Statements

    title
    The completeness of linear logic for Petri net models (English)
    0 references
    author
    Keiko Ishihara
    0 references
    Kunihiko Hiraishi
    0 references
    publication date
    12 March 2002
    0 references
    zbMATH Keywords
    linear logic
    0 references
    Petri nets
    0 references
    completeness
    0 references
    nondistributive quantales
    0 references
    closure operation
    0 references
    exponential
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B47
    0 references
    68Q85
    0 references
    06F07
    0 references
    zbMATH DE Number
    1652329
    0 references
    OpenAlex ID
    W2013323317
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2743640&oldid=39210450"
    Powered by MediaWiki