A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)

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

A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)

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

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

Original language	English
Title of host publication	Proceedings of the 26th international conference on rewriting techniques and applications (RTA 2015)
Editors	s.n.
Place of Publication	s.l.
Publisher	s.n.
Pages	1-19
Number of pages	19
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	s.n.

Conference

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

Cite this

@inproceedings{0157ba49e2e84c8a85d852042cfdcbba,

title = "A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)",

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

year = "2015",

language = "English",

publisher = "s.n.",

pages = "1--19",

editor = "s.n.",

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 (Extended version). in s.n. (ed.), Proceedings of the 26th international conference on rewriting techniques and applications (RTA 2015). s.n., s.l., pp. 1-19, 26th international conference on rewriting techniques and applications (RTA 2015), Warsaw, Poland, 29/06/15.

A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version). / Endrullis, J; Hansen, HH; Hendriks, D et al.
Proceedings of the 26th international conference on rewriting techniques and applications (RTA 2015). ed. / s.n. s.l.: s.n., 2015. p. 1-19.

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

TY - GEN

T1 - A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)

AU - Endrullis, J

AU - Hansen, HH

AU - Hendriks, D

AU - Polonsky, A

AU - Silva, A

PY - 2015

Y1 - 2015

UR - https://homepage.tudelft.nl/c9d1n/papers/rta2015ext_1505.01128v1.pdf

M3 - Conference contribution

SP - 1

EP - 19

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

A2 - s.n., null

PB - s.n.

CY - s.l.

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 (Extended version)

Publication series

Conference

Other files and links

Cite this