Finitary decidability implies congruence permutability for congruence modular varieties
Keyword(s):
2012 ◽
Vol 2012
(668)
◽
Keyword(s):
1991 ◽
Vol 02
(01)
◽
pp. 17-35
◽
1981 ◽
Vol 1981
(324)
◽
pp. 192-210
Keyword(s):