1
TITLE: A Coinductive Treatment of Infinitary Rewriting PDF
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.6224
INDEXED IN: DBLP arXiv