Complexity of Deep Inference via Atomic Flows (Q2904403)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complexity of Deep Inference via Atomic Flows
scientific article

    Statements

    Complexity of Deep Inference via Atomic Flows (English)
    0 references
    0 references
    14 August 2012
    0 references

    Identifiers