Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315)

From MaRDI portal
Revision as of 04:27, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Conditional congruence closure over uninterpreted and interpreted symbols
scientific article

    Statements

    Conditional congruence closure over uninterpreted and interpreted symbols (English)
    0 references
    0 references
    6 March 2019
    0 references
    completion
    0 references
    congruence closure
    0 references
    conditional congruence closure
    0 references
    intepreted symbols
    0 references
    rewriting
    0 references
    uninterpreted symbols
    0 references

    Identifiers