A note on coding techniques in bounded arithmetic

Authors
Publication date
1 January 1991
Publisher

Abstract

Technical Report n. 231, Dipartimento di Matematica, Via del Capitano 15, Sien

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Archivio della Ricerca - Università di Pisa

    redirect
    oaioai:arpi.unipi.it:11568/20383
    Last time updated on 12/11/2016