The following pages link to (Q4518873):
Displaying 12 items.
- Congruence modularity implies the Arguesian law for single algebras with a difference term (Q1305447) (← links)
- Any ground associative-commutative theory has a finite canonical system (Q1357668) (← links)
- A rewriting approach to satisfiability procedures. (Q1401930) (← links)
- Abstract congruence closure (Q1425161) (← links)
- Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315) (← links)
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols (Q2090128) (← links)
- Deciding the word problem for ground identities with commutative and extensional symbols (Q2096444) (← links)
- Associative-Commutative Deducibility Constraints (Q3590970) (← links)
- Combining Equational Reasoning (Q3655192) (← links)
- Any ground associative-commutative theory has a finite canonical system (Q5055779) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464694) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)