Tableaux and Resource Graphs for Separation Logic (Q3406689)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tableaux and Resource Graphs for Separation Logic
scientific article

    Statements

    Tableaux and Resource Graphs for Separation Logic (English)
    0 references
    0 references
    0 references
    0 references
    19 February 2010
    0 references
    0 references
    separation logic
    0 references
    theorem proving
    0 references
    tableaux
    0 references
    countermodels
    0 references
    0 references