AP

A Polonsky

2 records found

Authored

A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)
Conference paper (2015) - J Endrullis, H.H. Hansen, D Hendriks, A Polonsky, A Silva

A coinductive treatment of infinitary term rewriting and equational reasoning
Conference paper (2015) - J Endrullis, H.H. Hansen, D Hendriks, A Polonsky, A Silva