Proving Productivity in Infinite Data Structures

Hans Zantema, Matthias Raffelsieper. Proving Productivity in Infinite Data Structures. In Christopher Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK. Volume 6 of LIPIcs, pages 401-416, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]

No reviews for this publication, yet.