J?Rg Endrullis
AuthID: R-00G-WPZ
1
TÃTULO: Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic Full Text
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Logical Methods in Computer Science, VOLUME: 14, NÚMERO: 1
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Logical Methods in Computer Science, VOLUME: 14, NÚMERO: 1
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic PDF
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1706.00677
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1706.00677
INDEXADO EM: DBLP 
arXiv
DBLP arXiv3
TÃTULO: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland, VOLUME: 36
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland, VOLUME: 36
INDEXADO EM: DBLP
DBLP