Abstract
We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform way. ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
