Coinductive foundations of infinitary rewriting and infinitary equational logic

Endrullis, J; Hansen, HH; Hendriks, D; Polonsky, A; Silva, A; (2018) Coinductive foundations of infinitary rewriting and infinitary equational logic. Logical Methods in Computer Science , 14 (1) 10.23638/LMCS-14(1:3)2018 . Green open access

https://ift.tt/2qyo5lk