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 volumeConference contributionScientific

    Original languageEnglish
    Title of host publicationProceedings of the 26th international conference on rewriting techniques and applications (RTA 2015)
    Editors s.n.
    Place of Publications.l.
    Publishers.n.
    Pages1-19
    Number of pages19
    Publication statusPublished - 2015
    Event26th international conference on rewriting techniques and applications (RTA 2015), Warsaw, Poland - s.l.
    Duration: 29 Jun 20151 Jul 2015

    Publication series

    Name
    Publishers.n.

    Conference

    Conference26th international conference on rewriting techniques and applications (RTA 2015), Warsaw, Poland
    Period29/06/151/07/15

    Cite this