Congruence Closure with Free Variables (Q3303931)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Congruence Closure with Free Variables
scientific article

    Statements

    title
    Congruence Closure with Free Variables (English)
    0 references
    author
    Haniel Barbosa
    0 references
    Pascal Fontaine
    0 references
    Andrew Reynolds
    0 references
    publication date
    5 August 2020
    0 references
    zbMATH DE Number
    7228195
    0 references
    describes a project that uses
    SIMPLIFY
    0 references
    veriT
    0 references
    z3
    0 references
    CVC4
    0 references
    GRASShopper
    0 references
    OpenAlex ID
    W2598379852
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3303931&oldid=36605089"
    Powered by MediaWiki