TY  - RPRT
TI  - A Coinductive Treatment of Infinitary Rewriting
AU  - Joerg Endrullis
AU  - Helle Hvid Hansen
AU  - Dimitri Hendriks
AU  - Andrew Polonsky
AU  - Alexandra Silva
PY  - 2014
UR  - https://arxiv.org/abs/1306.6224
ID  - 1306.6224
ER  -