%0 Conference Paper %1 conf/lics/HirschkoffLS02 %A Hirschkoff, Daniel %A Lozes, Étienne %A Sangiorgi, Davide %B LICS %D 2002 %I IEEE Computer Society %K %P 423-432 %T Separability, Expressiveness, and Decidability in the Ambient Logic. %U http://dblp.uni-trier.de/db/conf/lics/lics2002.html#HirschkoffLS02 %@ 0-7695-1483-9

@inproceedings{conf/lics/HirschkoffLS02, added-at = {2023-12-13T00:20:40.000+0100}, author = {Hirschkoff, Daniel and Lozes, Étienne and Sangiorgi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/237b980641172e5d80afd406738fd898d/admin}, booktitle = {LICS}, crossref = {conf/lics/2002}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029850}, interhash = {62076370fe060a8f322010beb0fb15d9}, intrahash = {37b980641172e5d80afd406738fd898d}, isbn = {0-7695-1483-9}, keywords = {}, pages = {423-432}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T00:20:40.000+0100}, title = {Separability, Expressiveness, and Decidability in the Ambient Logic.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2002.html#HirschkoffLS02}, year = 2002 }