A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
Author(s):
Endrullis, J.; Hansen, H.H.; Hendriks, D.; Polonsky, An.; Silva, A.
Publication year:
2015
In:
Leibniz International Proceedings in Informatics, (2015)Fernandez, M. (ed.), RTA 2015: 26th International Conference on Rewriting Techniques and Applications, pp. 143-159