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

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

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages19
    Publication statusPublished - 2005

    Publication series

    NameCWI report. SEN-R : software engineering
    ISSN (Print)1386-369X

    Cite this