%0 Conference Paper %1 conf/aplas/TatsutaNK19 %A Tatsuta, Makoto %A Nakazawa, Koji %A Kimura, Daisuke %B APLAS %D 2019 %E Lin, Anthony Widjaja %I Springer %K dblp %P 367-387 %T Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2019.html#TatsutaNK19 %V 11893 %@ 978-3-030-34175-6

@inproceedings{conf/aplas/TatsutaNK19, added-at = {2019-11-18T00:00:00.000+0100}, author = {Tatsuta, Makoto and Nakazawa, Koji and Kimura, Daisuke}, biburl = {https://www.bibsonomy.org/bibtex/2b66d857e21d70aa65ab4f5dcd2f5e002/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2019}, editor = {Lin, Anthony Widjaja}, ee = {https://doi.org/10.1007/978-3-030-34175-6_19}, interhash = {63eac7fad95ef54e75461588f2b85448}, intrahash = {b66d857e21d70aa65ab4f5dcd2f5e002}, isbn = {978-3-030-34175-6}, keywords = {dblp}, pages = {367-387}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:25:48.000+0200}, title = {Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2019.html#TatsutaNK19}, volume = 11893, year = 2019 }