A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)

J.C. Pol, van de, O. Tveretina

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Originele taal-2Engels
    Plaats van productieAmsterdam
    UitgeverijCentrum voor Wiskunde en Informatica
    Aantal pagina's19
    StatusGepubliceerd - 2005

    Publicatie series

    NaamCWI report. SEN-R : software engineering
    Volume0509
    ISSN van geprinte versie1386-369X

    Citeer dit