Pages that link to "Item:Q1357668"
From MaRDI portal
The following pages link to Any ground associative-commutative theory has a finite canonical system (Q1357668):
Displaying 9 items.
- Automated deduction with associative-commutative operators (Q1340508) (← links)
- A rewriting approach to satisfiability procedures. (Q1401930) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols (Q2090128) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- An Assertional Language for the Verification of Systems Parametric in Several Dimensions (Q4921503) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Associative-commutative deduction with constraints (Q5210795) (← links)
- AC-superposition with constraints: No AC-unifiers needed (Q5210796) (← links)
