Reasoning in the theory of heap: satisfiability and interpolation (Q2119112)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reasoning in the theory of heap: satisfiability and interpolation
scientific article

    Statements

    Reasoning in the theory of heap: satisfiability and interpolation (English)
    0 references
    0 references
    0 references
    23 March 2022
    0 references
    0 references
    0 references
    0 references

    Identifiers