TY  - RPRT
TI  - On the Expressiveness of the Ambient Logic
AU  - Daniel Hirschkoff
AU  - Etienne Lozes
AU  - Davide Sangiorgi
PY  - 2006
DO  - 10.2168/lmcs-2(2:3)2006
UR  - https://arxiv.org/abs/cs/0510010
ID  - cs/0510010
ER  -