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):
Displayed 4 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)
- An Assertional Language for the Verification of Systems Parametric in Several Dimensions (Q4921503) (← links)