The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates (Q5121270)

From MaRDI portal
Revision as of 20:34, 16 November 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7246548
Language Label Description Also known as
English
The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
scientific article; zbMATH DE number 7246548

    Statements

    The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates (English)
    0 references
    0 references
    0 references
    0 references
    11 September 2020
    0 references
    Bernays-Schönfinkel-Ramsey class
    0 references
    PSPACE-completeness
    0 references
    separation logic
    0 references
    complexity
    0 references
    decision procedures
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references