Cut Elimination in Deduction Modulo by Abstract Completion (Q5434502)

From MaRDI portal
scientific article; zbMATH DE number 5223567
Language Label Description Also known as
English
Cut Elimination in Deduction Modulo by Abstract Completion
scientific article; zbMATH DE number 5223567

    Statements

    Cut Elimination in Deduction Modulo by Abstract Completion (English)
    0 references
    0 references
    0 references
    4 January 2008
    0 references
    Knuth-Bendix completion
    0 references
    automated deduction and interactive theorem proving
    0 references
    cut elimination
    0 references
    deduction modulo
    0 references
    proof ordering
    0 references
    abstract canonical system
    0 references

    Identifiers