A Spatial Logic for Simplicial Models (Q6135777)

From MaRDI portal
Revision as of 17:18, 2 August 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

    title
    A Spatial Logic for Simplicial Models (English)
    0 references
    author
    Michele Loreti
    0 references
    Michela Quadrini
    0 references
    publication date
    26 August 2023
    0 references
    zbMATH Keywords
    simplicial complex
    0 references
    spatial logics
    0 references
    spatial model checking
    0 references
    spatial equivalences
    0 references
    cites work
    On the almighty wand
    0 references
    Q5668821
    0 references
    Q5322945
    0 references
    Q2744124
    0 references
    Q3336675
    0 references
    Anytime, anywhere
    0 references
    Q4737192
    0 references
    Q3504340
    0 references
    Discrete Mereotopology
    0 references
    Q3827224
    0 references
    Q4553288
    0 references
    Digital Topology
    0 references
    Q5522742
    0 references

    Identifiers

    arXiv ID
    2105.08708
    0 references
    zbMATH DE Number
    7731936
    0 references
    OpenAlex ID
    W4385321857
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6135777&oldid=37554657"
    Powered by MediaWiki