Finite Models for a Spatial Logic with Discrete and Topological Path Operators.

Sven Linker, Fabio Papacchini, Michele Sevegnani

Browse the full MFCS paper archive.