research

Hard instances of algorithms and proof systems

Authors
Publication date
1 January 2011
Publisher
Centre de Recerca Matemàtica

Abstract

"Vegeu el resum a l'inici del document del fitxer adjunt"

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Diposit Digital de Documents de la UAB

    redirect
    oaioai:ddd.uab.cat:77023
    Last time updated on 20/08/2013