Finitary decidability implies congruence permutability for congruence modular varieties
From MaRDI portal
Publication:1205173
DOI10.1007/BF01212443zbMath0761.08003MaRDI QIDQ1205173
Publication date: 1 April 1993
Published in: Algebra Universalis (Search for Journal in Brave)
08B10: Congruence modularity, congruence distributivity
Related Items
Hereditary undecidability of some theories of finite structures, A Characterization of Finitely Decidable Congruence Modular Varieties, Finitely Decidable Congruence Modular Varieties
Cites Work