Helle Hvid Hansen
AuthID: R-00H-3R0
1
TITLE: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version) PDF
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01128
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01128
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv