%0 Journal Article %1 journals/corr/abs-2007-00502 %A Echenim, Mnacho %A Iosif, Radu %A Peltier, Nicolas %D 2020 %J CoRR %K dblp %T Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-00502 %V abs/2007.00502

@article{journals/corr/abs-2007-00502, added-at = {2020-07-06T00:00:00.000+0200}, author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/20d399296210734d73b11c83a803fdbe9/dblp}, ee = {https://arxiv.org/abs/2007.00502}, interhash = {ca1a2377233e82e48c0380d587d7fa55}, intrahash = {0d399296210734d73b11c83a803fdbe9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-07-07T11:38:04.000+0200}, title = {Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-00502}, volume = {abs/2007.00502}, year = 2020 }