Heaps and Data Structures: A Challenge for Automated Provers (Q5200023)

From MaRDI portal
scientific article; zbMATH DE number 5934350
Language Label Description Also known as
English
Heaps and Data Structures: A Challenge for Automated Provers
scientific article; zbMATH DE number 5934350

    Statements

    Heaps and Data Structures: A Challenge for Automated Provers (English)
    0 references
    0 references
    0 references
    29 July 2011
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers