%0 Journal Article %1 journals/jar/BlanchettePT17 %A Blanchette, Jasmin Christian %A Popescu, Andrei %A Traytel, Dmitriy %D 2017 %J J. Autom. Reason. %K %N 1 %P 149-179 %T Soundness and Completeness Proofs by Coinductive Methods. %U http://dblp.uni-trier.de/db/journals/jar/jar58.html#BlanchettePT17 %V 58

@article{journals/jar/BlanchettePT17, added-at = {2023-12-14T16:34:19.000+0100}, author = {Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/2bec1c6d4c26949ec560e6a640f57d318/admin}, ee = {https://doi.org/10.1007/s10817-016-9391-3}, interhash = {f9f6dec3e74bcd05288a2b7d5fbab00a}, intrahash = {bec1c6d4c26949ec560e6a640f57d318}, journal = {J. Autom. Reason.}, keywords = {}, number = 1, pages = {149-179}, timestamp = {2023-12-14T16:34:19.000+0100}, title = {Soundness and Completeness Proofs by Coinductive Methods.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar58.html#BlanchettePT17}, volume = 58, year = 2017 }