Published in: LIPIcs, Volume 6, Proceedings of the 21st International Conference on Rewriting Techniques and Applications (2010)
Hans Zantema and Matthias Raffelsieper. Proving Productivity in Infinite Data Structures. In Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Leibniz International Proceedings in Informatics (LIPIcs), Volume 6, pp. 401-416, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{zantema_et_al:LIPIcs.RTA.2010.401, author = {Zantema, Hans and Raffelsieper, Matthias}, title = {{Proving Productivity in Infinite Data Structures}}, booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications}, pages = {401--416}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-18-7}, ISSN = {1868-8969}, year = {2010}, volume = {6}, editor = {Lynch, Christopher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.401}, URN = {urn:nbn:de:0030-drops-26661}, doi = {10.4230/LIPIcs.RTA.2010.401}, annote = {Keywords: Productivity, infinite data structures, streams} }
Feedback for Dagstuhl Publishing