Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743)

From MaRDI portal
scientific article; zbMATH DE number 7731908
Language Label Description Also known as
English
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
scientific article; zbMATH DE number 7731908

    Statements

    Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (English)
    0 references
    0 references
    26 August 2023
    0 references
    congruence closure
    0 references
    canonical form
    0 references
    canonical rewrite systems
    0 references
    associative-commutative
    0 references
    idempotency
    0 references
    nilpotency
    0 references
    cancelation
    0 references
    group
    0 references
    Gröbner basis
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers