Elimination of spatial connectives in static spatial logics (Q1763729)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Elimination of spatial connectives in static spatial logics
scientific article

    Statements

    Elimination of spatial connectives in static spatial logics (English)
    0 references
    22 February 2005
    0 references
    Spatial logics
    0 references
    Separation logic
    0 references
    Mobile ambients
    0 references
    Minimality
    0 references
    0 references

    Identifiers