Algebraic proofs of cut elimination (Q1349247)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
Algebraic proofs of cut elimination
scientific article

    Statements

    Identifiers