%0 Conference Paper %1 conf/concur/ChenSW17 %A Chen, Taolue %A Song, Fu %A Wu, Zhilin %B CONCUR %D 2017 %E Meyer, Roland %E Nestmann, Uwe %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 37:1-37:17 %T Tractability of Separation Logic with Inductive Definitions: Beyond Lists. %U http://dblp.uni-trier.de/db/conf/concur/concur2017.html#ChenSW17 %V 85 %@ 978-3-95977-048-4

@inproceedings{conf/concur/ChenSW17, added-at = {2024-09-02T00:00:00.000+0200}, author = {Chen, Taolue and Song, Fu and Wu, Zhilin}, biburl = {https://www.bibsonomy.org/bibtex/217090ce9fc6d5e145865290b76b81376/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2017}, editor = {Meyer, Roland and Nestmann, Uwe}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.37}, interhash = {8dfb40bea7b8f884c38dbfc5eb760006}, intrahash = {17090ce9fc6d5e145865290b76b81376}, isbn = {978-3-95977-048-4}, keywords = {dblp}, pages = {37:1-37:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-09-09T07:19:50.000+0200}, title = {Tractability of Separation Logic with Inductive Definitions: Beyond Lists.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2017.html#ChenSW17}, volume = 85, year = 2017 }