New (and old) proof systems for lattice problems (Q1753870)

From MaRDI portal
scientific article
Language Label Description Also known as
English
New (and old) proof systems for lattice problems
scientific article

    Statements

    New (and old) proof systems for lattice problems (English)
    0 references
    0 references
    0 references
    29 May 2018
    0 references

    Identifiers