Up a level |
Number of items: 1.
Linker, S, Papacchini, F ORCID: 0000-0002-0310-7378 and Sevegnani, M
(2021)
Finite Models for a Spatial Logic with Discrete and Topological Path Operators.
.
Up a level |
Linker, S, Papacchini, F ORCID: 0000-0002-0310-7378 and Sevegnani, M
(2021)
Finite Models for a Spatial Logic with Discrete and Topological Path Operators.
.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000