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 volumeConference contributionScientificpeer-review

    12 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 26th international conference on rewriting techniques and applications (RTA 2015)
    EditorsM Fernandez
    Place of PublicationDagstuhl
    PublisherLeibniz-Zentrum fuer Informatik
    Pages143-159
    Number of pages17
    ISBN (Print)978-3-939897-85-9
    DOIs
    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
    PublisherLeibniz-Zentrum fuer Informatik

    Conference

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

    Cite this