A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849)

From MaRDI portal
Revision as of 18:47, 30 December 2024 by Import241228121245 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7788997
Language Label Description Also known as
English
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
scientific article; zbMATH DE number 7788997

    Statements

    A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (English)
    0 references
    16 January 2024
    0 references
    proof nets
    0 references
    deep inference
    0 references
    Pomset logic
    0 references
    system \textsf{BV}
    0 references
    cographs
    0 references
    dicographs
    0 references
    series-parallel orders
    0 references
    relation webs
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers