Login / Signup
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.
Vincenzo Ciancia
Diego Latella
Mieke Massink
Erik P. de Vink
Published in:
A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases
</>
space time
modal logic
higher dimensional
database
real time
image sequences
face recognition
inference rules