@Article{         EndrullisHansenHendriksPolonskySilvab,
  Author        = {Endrullis, J{\"o}rg and Hansen, Helle Hvid and Hendriks, Dimitri and Polonsky, Andrew and Silva, Alexandra},
  Abstract      = "We present a coinductive framework for defining infinitary analogues of equational reasoning and rewriting in a uniform way. We define the relation =^infty, notion of infinitary equational reasoning, and ->^infty, the standard notion of infinitary rewriting as follows:",
  date-added    = "2015-06-29 14:13:20 +0000",
  date-modified = "2015-06-29 14:13:20 +0000",
  EPrint        = "1505.01128",
  Month         = "05",
  Title         = "A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version)",
  URL           = "http://arxiv.org/abs/1505.01128",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1505.01128",
  File          = "A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version) - Endrullis, Hansen, Hendriks, Polonsky, Silva (0) (0) - a - a - e.pdf"
}

@Article{ EndrullisHansenHendriksPolonskySilvab, Author = {Endrullis, J{\"o}rg and Hansen, Helle Hvid and Hendriks, Dimitri and Polonsky, Andrew and Silva, Alexandra}, Abstract = "We present a coinductive framework for defining infinitary analogues of equational reasoning and rewriting in a uniform way. We define the relation =^infty, notion of infinitary equational reasoning, and ->^infty, the standard notion of infinitary rewriting as follows:", date-added = "2015-06-29 14:13:20 +0000", date-modified = "2015-06-29 14:13:20 +0000", EPrint = "1505.01128", Month = "05", Title = "A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version)", URL = "http://arxiv.org/abs/1505.01128", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1505.01128", File = "A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version) - Endrullis, Hansen, Hendriks, Polonsky, Silva (0) (0) - a - a - e.pdf" }