Login / Signup

Elimination of spatial connectives in static spatial logics.

Étienne Lozes
Published in: Theor. Comput. Sci. (2005)
Keyphrases