scientific article; zbMATH DE number 1538018
From MaRDI portal
Publication:4518873
Recommendations
- Termination and completion modulo associativity, commutativity and identity
- Congruence semimodularity and identities
- On congruence distributivity and modularity
- scientific article; zbMATH DE number 4134128
- Complete sets of reductions modulo associativity, commutativity and identity
- Abstract congruence closure
- scientific article; zbMATH DE number 7700620
- Congruence modularity implies cyclic terms for finite algebras
- scientific article; zbMATH DE number 639730
- Properties of congruences on commutative monoids
Cited in
(14)- Congruence modularity implies the Arguesian law for single algebras with a difference term
- Any ground associative-commutative theory has a finite canonical system
- A rewriting approach to satisfiability procedures.
- Abstract congruence closure
- Conditional congruence closure over uninterpreted and interpreted symbols
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols
- Deciding the word problem for ground identities with commutative and extensional symbols
- Associative-Commutative Deducibility Constraints
- Combining equational reasoning
- scientific article; zbMATH DE number 2081116 (Why is no real title available?)
- Any ground associative-commutative theory has a finite canonical system
- Artificial Intelligence and Symbolic Computation
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
- Unification in the description logic \(\mathcal{ELH}_{\mathcal{R}^+}\) without the top concept modulo cycle-restricted ontologies
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518873)
