Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
AP
A Polonsky
Academic Work (2)
Conference paper (2)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
2 records found
1
A coinductive treatment of infinitary term rewriting and equational reasoning
Conference paper (2015) -
J Endrullis (author)
,
H.H. Hansen (author)
,
Helle Hansen (author)
,
D Hendriks (author)
,
A Polonsky (author)
,
A Silva (author)
A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)
Conference paper (2015) -
J Endrullis (author)
,
H.H. Hansen (author)
,
Helle Hansen (author)
,
D Hendriks (author)
,
A Polonsky (author)
,
A Silva (author)
