Fast congruence closure and extensions (Q876046)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fast congruence closure and extensions
scientific article

    Statements

    Fast congruence closure and extensions (English)
    0 references
    0 references
    0 references
    16 April 2007
    0 references
    decision procedures
    0 references
    congruence closure
    0 references
    equational reasoning
    0 references
    verification
    0 references
    0 references
    0 references

    Identifiers