On the Proof Complexity of Cut-Free Bounded Deep Inference (Q3010365)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the Proof Complexity of Cut-Free Bounded Deep Inference
scientific article

    Statements

    Identifiers