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
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
