Library
search
local_library
Repository
JE
J Endrullis
View Pure Profile
Authored
2 records found
A coinductive treatment of infinitary term rewriting and equational reasoning
Conference paper -
J Endrullis
,
H.H. Hansen
,
D Hendriks
,
A Polonsky
,
A Silva
A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)
Conference paper -
J Endrullis
,
H.H. Hansen
,
D Hendriks
,
A Polonsky
,
A Silva