Helle Hvid Hansen
AuthID: R-00H-3R1
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
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