Preuve de confluence de λexn\lambda_{exn}

Authors
Publication date
1 January 1998
Publisher
HAL CCSD

Abstract

Rapport interne.N.A

    Similar works

    Full text

    thumbnail-image

    Available Versions

    INRIA a CCSD electronic archive server

    redirect
    oaioai:HAL:inria-00098334v1
    Last time updated on 10/11/2016

    HAL-Rennes 1

    redirect
    oaioai:HAL:inria-00098334v1
    Last time updated on 21/06/2024