A coinductive treatment of infinitary term rewriting and equational reasoning

Authors
Publication date
1 January 2015
Publisher
Leibniz-Zentrum fuer Informatik

Abstract

Engineering, Systems and ServicesTechnology, Policy and Managemen

    Similar works

    Full text

    thumbnail-image

    Available Versions

    NARCIS

    redirect
    Last time updated on 04/09/2017

    TU Delft Repository

    redirect
    oaioai:tudelft.nl:uuid:24af3998-1...
    Last time updated on 09/05/2016

    CWI's Institutional Repository

    redirect
    oaioai:cwi.nl:23822
    Last time updated on 18/04/2020

    NARCIS

    redirect
    Last time updated on 09/03/2017