Order sorted computer algebra and coercions

Authors
Publication date
1 January 1997
Publisher

Abstract

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN017043 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

    Similar works

    Full text

    thumbnail-image

    Available Versions

    OpenGrey Repository

    redirect
    Last time updated on 14/06/2016
    Supporting member

    OPUS

    redirect
    oaioai:purehost.bath.ac.uk:studen...
    Last time updated on 02/01/2019