%0 Conference Paper %1 journals/entcs/0001RS15 %A Goncharov, Sergey %A Rauch, Christoph %A Schröder, Lutz %B MFPS %D 2015 %E Ghica, Dan R. %I Elsevier %K %P 183-198 %T Unguarded Recursion on Coinductive Resumptions. %U http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#0001RS15 %V 319

@inproceedings{journals/entcs/0001RS15, added-at = {2023-12-13T09:11:04.000+0100}, author = {Goncharov, Sergey and Rauch, Christoph and Schröder, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/21a7ba13df2007cce2a75c1d0846fec07/admin}, booktitle = {MFPS}, crossref = {conf/mfps/2015}, editor = {Ghica, Dan R.}, ee = {https://doi.org/10.1016/j.entcs.2015.12.012}, interhash = {cbd4e14f73e646fd849551b02bd1cd96}, intrahash = {1a7ba13df2007cce2a75c1d0846fec07}, keywords = {}, pages = {183-198}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2023-12-13T09:11:04.000+0100}, title = {Unguarded Recursion on Coinductive Resumptions.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#0001RS15}, volume = 319, year = 2015 }