%0 Conference Paper %1 SLundecidable %A Brotherston, James %A Kanovich, Max %B Proceedings of LICS 2010 %D 2010 %K imported %P 137-146 %T Undecidability of propositional separation logic and its neighbours

@inproceedings{SLundecidable, added-at = {2010-08-25T08:47:38.000+0200}, author = {Brotherston, James and Kanovich, Max}, biburl = {https://www.bibsonomy.org/bibtex/24dd16c5c40528274acf3fb09c5b24543/miguel.pagano}, booktitle = {{Proceedings of LICS 2010}}, interhash = {571605e7ccf58568f914a94c8b147e02}, intrahash = {4dd16c5c40528274acf3fb09c5b24543}, keywords = {imported}, pages = {137-146}, timestamp = {2010-08-25T08:47:45.000+0200}, title = {{Undecidability of propositional separation logic and its neighbours}}, year = {{2010}} }