Additional Metadata
THEME Software (theme 1)
Journal Computing Research Repository
Citation
Endrullis, J, Hansen, H.H, Hendriks, D, Polonsky, A, & Silva, A.M. (2013). A coinductive treatment of infinitary rewriting. Computing Research Repository, abs/1306.6224.