A Spatial Logic for Simplicial Models (Q6135777)

From MaRDI portal
Revision as of 11:05, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
scientific article; zbMATH DE number 7731936
Language Label Description Also known as
English
A Spatial Logic for Simplicial Models
scientific article; zbMATH DE number 7731936

    Statements

    A Spatial Logic for Simplicial Models (English)
    0 references
    0 references
    0 references
    0 references
    26 August 2023
    0 references
    0 references
    simplicial complex
    0 references
    spatial logics
    0 references
    spatial model checking
    0 references
    spatial equivalences
    0 references
    0 references