2018

  1. Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
    Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, and Alexandra Silva
    Logical Methods in Computer Science , 14 (1) (2018)

2015

  1. A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
    Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, and Alexandra Silva
    In: Proc. Conf. on Rewriting Techniques and Applications (RTA 2015), pp. 143–159, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)

2013

  1. Circular Coinduction in Coq Using Bisimulation-Up-To Techniques
    Jörg Endrullis, Dimitri Hendriks, and Martin Bodin
    In: Proc. Conf. on Interactive Theorem Proving (ITP 2013), pp. 354–369, Springer (2013)

2011

  1. Infinitary Rewriting Coinductively
    Jörg Endrullis, and Andrew Polonsky
    In: Proc. Conf. on Types for Proofs and Programs (TYPES 2012), pp. 16–27, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)