%0 Conference Paper %1 conf/lopstr/EsenR20 %A Esen, Zafer %A Rümmer, Philipp %B LOPSTR %D 2020 %E Fernández, Maribel %I Springer %K dblp %P 173-191 %T Reasoning in the Theory of Heap: Satisfiability and Interpolation. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2020.html#EsenR20 %V 12561 %@ 978-3-030-68446-4

@inproceedings{conf/lopstr/EsenR20, added-at = {2021-02-15T00:00:00.000+0100}, author = {Esen, Zafer and Rümmer, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/25c0a17fea65b39c87e073ee0d6237daa/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2020}, editor = {Fernández, Maribel}, ee = {https://doi.org/10.1007/978-3-030-68446-4_9}, interhash = {6269d1acc892e48ce325d7982bb2966b}, intrahash = {5c0a17fea65b39c87e073ee0d6237daa}, isbn = {978-3-030-68446-4}, keywords = {dblp}, pages = {173-191}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:36:48.000+0200}, title = {Reasoning in the Theory of Heap: Satisfiability and Interpolation.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2020.html#EsenR20}, volume = 12561, year = 2020 }