Unguarded Recursion on Coinductive Resumptions (bibtex)
by Sergey Goncharov, Christoph Rauch, Lutz Schröder
Reference:
Unguarded Recursion on Coinductive Resumptions (Sergey Goncharov, Christoph Rauch, Lutz Schröder), In Proc. 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI), Electronic Notes in Theoretical Computer Science, vol. 319(), pp. 183 – 198, 2015. [preprint]
Bibtex Entry:
@inproceedings{GoncharovEA15,
title = "Unguarded Recursion on Coinductive Resumptions ",
series = "Electronic Notes in Theoretical Computer Science",
volume = "319",
number = "",
pages = "183 - 198",
year = "2015",
booktitle = "Proc. 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)",
issn = "1571-0661",
url = "http://www.sciencedirect.com/science/article/pii/S1571066115000791",
author = "Sergey Goncharov and Christoph Rauch and Lutz Schr\"oder",
comment = { <a href = "https://www8.cs.fau.de/_media/research:papers:mfps15-elgot.pdf"> [preprint] </a>},  
}
Powered by bibtexbrowser