J?Rg Endrullis
AuthID: R-00G-WPZ
1
TITLE: Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic Full Text
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 1
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 1
INDEXED IN: 
DBLP
DBLP2
TITLE: Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic PDF
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1706.00677
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1706.00677
INDEXED IN: DBLP 
arXiv
DBLP arXiv3
TITLE: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland, VOLUME: 36
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland, VOLUME: 36
INDEXED IN: DBLP
DBLP