Print Email Facebook Twitter A coinductive treatment of infinitary term rewriting and equational reasoning Title A coinductive treatment of infinitary term rewriting and equational reasoning Author Endrullis, J. Hansen, H.H. Hendriks, D. Polonsky, A. Silva, A. Faculty Technology, Policy and Management Department Engineering, Systems and Services Date 2015-06-29 To reference this document use: http://resolver.tudelft.nl/uuid:24af3998-1678-431e-8d5b-419ab2f5ab7d Publisher Leibniz-Zentrum fuer Informatik ISBN 978-3-939897-85-9 Source RTA 2015: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, Warsaw, Poland, 29 June-1 July 2015; Authors version Part of collection Institutional Repository Document type conference paper Rights (c) 2015 The Authors Files PDF 323092.pdf 381.42 KB Close viewer /islandora/object/uuid%3A24af3998-1678-431e-8d5b-419ab2f5ab7d/datastream/OBJ/view