Automated deduction with built-in theories: completeness results and constraint solving techniques

Authors
Publication date
1 January 2001
Publisher
Universitat Politècnica de Catalunya

Abstract

Postprint (published version

    Similar works

    Full text

    thumbnail-image

    Available Versions

    UPCommons

    redirect
    oaioai:upcommons.upc.edu:2117/939...
    Last time updated on 17/04/2020

    UPCommons. Portal del coneixement obert de la UPC

    redirect
    oaioai:upcommons.upc.edu:2117/939...
    Last time updated on 01/05/2017

    TDX

    redirect
    oaioai:www.tdx.cat:10803/6669
    Last time updated on 11/04/2020

    Tesis Doctorals en Xarxa

    redirect
    oaioai:www.tdx.cat:10803/6669
    Last time updated on 02/04/2014