Finite Models for a Spatial Logic with Discrete and Topological Path Operators (2021)
Attributed to:
PETRAS 2
funded by
SPF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.4230/lipics.mfcs.2021.72
Publication URI: http://dx.doi.org/10.4230/lipics.mfcs.2021.72
Type: Other
Volume: 202
Parent Publication: Leibniz International Proceedings in Informatics, LIPIcs
ISSN: 18688969