Any ground associative-commutative theory has a finite canonical system
Keyword(s):
Keyword(s):
Keyword(s):
1984 ◽
Vol 36
(2)
◽
pp. 206-239
◽
2016 ◽
Vol 68
(3)
◽
pp. 380-398
◽