TY  - RPRT
TI  - Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
AU  - Jörg Endrullis
AU  - Helle Hvid Hansen
AU  - Dimitri Hendriks
AU  - Andrew Polonsky
AU  - Alexandra Silva
PY  - 2018
DO  - 10.23638/lmcs-14(1:3)2018
UR  - https://arxiv.org/abs/1706.00677
ID  - 1706.00677
ER  -