%0 Journal Article %1 journals/tocl/DemriD16 %A Demri, Stéphane %A Deters, Morgan %D 2016 %J ACM Trans. Comput. Log. %K dblp %N 2 %P 12 %T Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction. %U http://dblp.uni-trier.de/db/journals/tocl/tocl17.html#DemriD16 %V 17

@article{journals/tocl/DemriD16, added-at = {2022-06-10T00:00:00.000+0200}, author = {Demri, Stéphane and Deters, Morgan}, biburl = {https://www.bibsonomy.org/bibtex/2d081508e74fd923b4683a08702b48338/dblp}, ee = {https://doi.org/10.1145/2835490}, interhash = {5a3e5a1ad7467bd897903be85c38f14b}, intrahash = {d081508e74fd923b4683a08702b48338}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 2, pages = 12, timestamp = {2024-04-08T12:38:36.000+0200}, title = {Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl17.html#DemriD16}, volume = 17, year = 2016 }