A Spatial Logic for Simplicial Models (Q6135777)

From MaRDI portal
Revision as of 07:32, 10 July 2024 by Import240710060729 (talk | contribs) (Added link to MaRDI item.)
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
    arXiv ID
    2105.08708
    0 references
    author
    Michele Loreti
    0 references
    Michela Quadrini
    0 references
    publication date
    26 August 2023
    0 references
    zbMATH DE Number
    7731936
    0 references
    zbMATH Keywords
    simplicial complex
    0 references
    spatial logics
    0 references
    spatial model checking
    0 references
    spatial equivalences
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6135777&oldid=35597235"
    Powered by MediaWiki