FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3038961491> ?p ?o ?g. }

• W3038961491 abstract "We present a bisimulation relation for neighbourhood spaces, a generalisation of topological spaces. We show that this notion, path preserving bisimulation, preserves formulas of the spatial logic SLCS. We then use this preservation result to show that SLCS cannot express standard topological properties such as separation and connectedness. Furthermore, we compare the bisimulation relation with standard modal bisimulation and modal bisimulation with converse on graphs and prove it coincides with the latter." @default.
• W3038961491 created "2020-07-10" @default.
• W3038961491 creator A5014183151 @default.
• W3038961491 creator A5036361163 @default.
• W3038961491 creator A5042005513 @default.
• W3038961491 date "2020-07-02" @default.
• W3038961491 modified "2023-09-23" @default.
• W3038961491 title "Analysing Spatial Properties on Neighbourhood Spaces" @default.
• W3038961491 cites W1759871617 @default.
• W3038961491 cites W1932110987 @default.
• W3038961491 cites W1972374969 @default.
• W3038961491 cites W1978720913 @default.
• W3038961491 cites W2004306067 @default.
• W3038961491 cites W2023808162 @default.
• W3038961491 cites W2072459054 @default.
• W3038961491 cites W2098655919 @default.
• W3038961491 cites W2128932399 @default.
• W3038961491 cites W2143434754 @default.
• W3038961491 cites W2527872501 @default.
• W3038961491 cites W2758427605 @default.
• W3038961491 cites W2768154882 @default.
• W3038961491 cites W2785192168 @default.
• W3038961491 cites W2917102740 @default.
• W3038961491 cites W2934379134 @default.
• W3038961491 cites W3025687582 @default.
• W3038961491 hasPublicationYear "2020" @default.
• W3038961491 type Work @default.
• W3038961491 sameAs 3038961491 @default.
• W3038961491 citedByCount "0" @default.
• W3038961491 crossrefType "posted-content" @default.
• W3038961491 hasAuthorship W3038961491A5014183151 @default.
• W3038961491 hasAuthorship W3038961491A5036361163 @default.
• W3038961491 hasAuthorship W3038961491A5042005513 @default.
• W3038961491 hasConcept C114614502 @default.
• W3038961491 hasConcept C118615104 @default.
• W3038961491 hasConcept C134306372 @default.
• W3038961491 hasConcept C135315306 @default.
• W3038961491 hasConcept C15744967 @default.
• W3038961491 hasConcept C161677786 @default.
• W3038961491 hasConcept C184720557 @default.
• W3038961491 hasConcept C185592680 @default.
• W3038961491 hasConcept C188027245 @default.
• W3038961491 hasConcept C201943243 @default.
• W3038961491 hasConcept C202444582 @default.
• W3038961491 hasConcept C2524010 @default.
• W3038961491 hasConcept C25343380 @default.
• W3038961491 hasConcept C27508121 @default.
• W3038961491 hasConcept C2776809875 @default.
• W3038961491 hasConcept C33923547 @default.
• W3038961491 hasConcept C41008148 @default.
• W3038961491 hasConcept C542102704 @default.
• W3038961491 hasConcept C71139939 @default.
• W3038961491 hasConcept C77088390 @default.
• W3038961491 hasConcept C81332173 @default.
• W3038961491 hasConceptScore W3038961491C114614502 @default.
• W3038961491 hasConceptScore W3038961491C118615104 @default.
• W3038961491 hasConceptScore W3038961491C134306372 @default.
• W3038961491 hasConceptScore W3038961491C135315306 @default.
• W3038961491 hasConceptScore W3038961491C15744967 @default.
• W3038961491 hasConceptScore W3038961491C161677786 @default.
• W3038961491 hasConceptScore W3038961491C184720557 @default.
• W3038961491 hasConceptScore W3038961491C185592680 @default.
• W3038961491 hasConceptScore W3038961491C188027245 @default.
• W3038961491 hasConceptScore W3038961491C201943243 @default.
• W3038961491 hasConceptScore W3038961491C202444582 @default.
• W3038961491 hasConceptScore W3038961491C2524010 @default.
• W3038961491 hasConceptScore W3038961491C25343380 @default.
• W3038961491 hasConceptScore W3038961491C27508121 @default.
• W3038961491 hasConceptScore W3038961491C2776809875 @default.
• W3038961491 hasConceptScore W3038961491C33923547 @default.
• W3038961491 hasConceptScore W3038961491C41008148 @default.
• W3038961491 hasConceptScore W3038961491C542102704 @default.
• W3038961491 hasConceptScore W3038961491C71139939 @default.
• W3038961491 hasConceptScore W3038961491C77088390 @default.
• W3038961491 hasConceptScore W3038961491C81332173 @default.
• W3038961491 hasLocation W30389614911 @default.
• W3038961491 hasOpenAccess W3038961491 @default.
• W3038961491 hasPrimaryLocation W30389614911 @default.
• W3038961491 hasRelatedWork W1605179516 @default.
• W3038961491 hasRelatedWork W1665257442 @default.
• W3038961491 hasRelatedWork W1999675231 @default.
• W3038961491 hasRelatedWork W2041961320 @default.
• W3038961491 hasRelatedWork W2078103992 @default.
• W3038961491 hasRelatedWork W2092092493 @default.
• W3038961491 hasRelatedWork W2102135785 @default.
• W3038961491 hasRelatedWork W2113157988 @default.
• W3038961491 hasRelatedWork W2167210297 @default.
• W3038961491 hasRelatedWork W2292419538 @default.
• W3038961491 hasRelatedWork W2360135384 @default.
• W3038961491 hasRelatedWork W2376631750 @default.
• W3038961491 hasRelatedWork W2393457982 @default.
• W3038961491 hasRelatedWork W2395398205 @default.
• W3038961491 hasRelatedWork W2522425895 @default.
• W3038961491 hasRelatedWork W2604162294 @default.
• W3038961491 hasRelatedWork W2896294417 @default.
• W3038961491 hasRelatedWork W3013924750 @default.
• W3038961491 hasRelatedWork W3081677519 @default.
• W3038961491 hasRelatedWork W3118321919 @default.
• W3038961491 isParatext "false" @default.
• W3038961491 isRetracted "false" @default.

• next