Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (Q4649805)

From MaRDI portal
scientific article; zbMATH DE number 6105897
Language Label Description Also known as
English
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases
scientific article; zbMATH DE number 6105897

    Statements

    Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (English)
    0 references
    14 November 2012
    0 references

    Identifiers