Optimization complexity of linear logic proof games (Q1575867)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Optimization complexity of linear logic proof games
scientific article

    Statements

    Optimization complexity of linear logic proof games (English)
    0 references
    0 references
    0 references
    0 references
    23 August 2000
    0 references
    linear logic proof games
    0 references
    multiplicative fragment
    0 references
    multiplicative additive fragment
    0 references
    propositional linear logic
    0 references
    complexity
    0 references

    Identifiers