J?Rg Endrullis
AuthID: R-00G-WPZ
1
TITLE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands
AUTHORS: Jörg Endrullis; Sylvain Schmitz;
PUBLISHED: 2025, SOURCE: CSL, VOLUME: 326
AUTHORS: Jörg Endrullis; Sylvain Schmitz;
PUBLISHED: 2025, SOURCE: CSL, VOLUME: 326
INDEXED IN: 
DBLP
DBLP2
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
DBLP3
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 arXiv4
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