A coinductive treatment of infinitary term rewriting and equational reasoning

J Endrullis; HH Hansen; D Hendriks; A Polonsky; A Silva

doi:10.4230/LIPIcs.RTA.2015.143

A coinductive treatment of infinitary term rewriting and equational reasoning

J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

14 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 26th international conference on rewriting techniques and applications (RTA 2015)
Editors	M Fernandez
Place of Publication	Dagstuhl
Publisher	Leibniz-Zentrum fuer Informatik
Pages	143-159
Number of pages	17
ISBN (Print)	978-3-939897-85-9
DOIs	https://doi.org/10.4230/LIPIcs.RTA.2015.143
Publication status	Published - 2015
Event	26th international conference on rewriting techniques and applications (RTA 2015), Warsaw, Poland - s.l. Duration: 29 Jun 2015 → 1 Jul 2015

Publication series

Name
Publisher	Leibniz-Zentrum fuer Informatik

Conference

Conference	26th international conference on rewriting techniques and applications (RTA 2015), Warsaw, Poland
Period	29/06/15 → 1/07/15

Access to Document

10.4230/LIPIcs.RTA.2015.143

Cite this

Endrullis, J., Hansen, HH., Hendriks, D., Polonsky, A., & Silva, A. (2015). A coinductive treatment of infinitary term rewriting and equational reasoning. In M. Fernandez (Ed.), Proceedings of the 26th international conference on rewriting techniques and applications (RTA 2015) (pp. 143-159). Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.RTA.2015.143

@inproceedings{48fe16325b7346a4802e19a04db753b1,

title = "A coinductive treatment of infinitary term rewriting and equational reasoning",

author = "J Endrullis and HH Hansen and D Hendriks and A Polonsky and A Silva",

year = "2015",

doi = "10.4230/LIPIcs.RTA.2015.143",

language = "English",

isbn = "978-3-939897-85-9",

publisher = "Leibniz-Zentrum fuer Informatik",

pages = "143--159",

editor = "M Fernandez",

booktitle = "Proceedings of the 26th international conference on rewriting techniques and applications (RTA 2015)",

note = "26th international conference on rewriting techniques and applications (RTA 2015), Warsaw, Poland ; Conference date: 29-06-2015 Through 01-07-2015",

}

Endrullis, J, Hansen, HH, Hendriks, D, Polonsky, A & Silva, A 2015, A coinductive treatment of infinitary term rewriting and equational reasoning. in M Fernandez (ed.), Proceedings of the 26th international conference on rewriting techniques and applications (RTA 2015). Leibniz-Zentrum fuer Informatik, Dagstuhl, pp. 143-159, 26th international conference on rewriting techniques and applications (RTA 2015), Warsaw, Poland, 29/06/15. https://doi.org/10.4230/LIPIcs.RTA.2015.143

A coinductive treatment of infinitary term rewriting and equational reasoning. / Endrullis, J; Hansen, HH; Hendriks, D et al.
Proceedings of the 26th international conference on rewriting techniques and applications (RTA 2015). ed. / M Fernandez. Dagstuhl: Leibniz-Zentrum fuer Informatik, 2015. p. 143-159.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - A coinductive treatment of infinitary term rewriting and equational reasoning

AU - Endrullis, J

AU - Hansen, HH

AU - Hendriks, D

AU - Polonsky, A

AU - Silva, A

PY - 2015

Y1 - 2015

UR - http://resolver.tudelft.nl/uuid:24af3998-1678-431e-8d5b-419ab2f5ab7d

U2 - 10.4230/LIPIcs.RTA.2015.143

DO - 10.4230/LIPIcs.RTA.2015.143

M3 - Conference contribution

SN - 978-3-939897-85-9

SP - 143

EP - 159

BT - Proceedings of the 26th international conference on rewriting techniques and applications (RTA 2015)

A2 - Fernandez, M

PB - Leibniz-Zentrum fuer Informatik

CY - Dagstuhl

T2 - 26th international conference on rewriting techniques and applications (RTA 2015), Warsaw, Poland

Y2 - 29 June 2015 through 1 July 2015

ER -

A coinductive treatment of infinitary term rewriting and equational reasoning

Publication series

Conference

Access to Document

Other files and links

Cite this