SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
From MaRDI portal
Publication:4024646
DOI10.1142/S0218196792000074zbMath0759.08007OpenAlexW2020416879MaRDI QIDQ4024646
Ross Willard, Matthew A. Valeriote
Publication date: 8 February 1993
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196792000074
Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)
Related Items (4)
Hereditary undecidability of some theories of finite structures ⋮ Bounding essential arities of term operations in finitely decidable varieties ⋮ Finitely Decidable Congruence Modular Varieties ⋮ On the Direct Decomposition of Nilpotent Expanded Groups
This page was built for publication: SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES