Unguarded Recursion on Coinductive Resumptions (bibtex)
by Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob
Reference:
Unguarded Recursion on Coinductive Resumptions (Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob), In Log. Methods Comput. Sci., vol. 14(3), 2018.
Bibtex Entry:
@article{GoncharovEA18,
  author    = {Sergey Goncharov and
               Lutz Schr{\"{o}}der and
               Christoph Rauch and
               Julian Jakob},
  title     = {Unguarded Recursion on Coinductive Resumptions},
  journal   = {Log. Methods Comput. Sci.},
  volume    = {14},
  number    = {3},
  year      = {2018},
  url       = {https://doi.org/10.23638/LMCS-14(3:10)2018},
  doi       = {10.23638/LMCS-14(3:10)2018},
}
Powered by bibtexbrowser