On a connection between the word problem and decidability of the equational theory.
Popov, V.Yu. (2000)
Siberian Mathematical Journal
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Complete description of substitutions in cylindric algebras and other algebraic logics”
On a connection between the word problem and decidability of the equational theory.
On algebras of relations
D. Bredikhin (1993)
Banach Center Publications
Similarity:
Letter to the editor.
Brodovich, M.T. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Recursive and combinatorial properties of Schubert polynomials.
Winkel, Rudolf (1996)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
A Foata bijection for the alternating group and for -analogues.
Bernstein, Dan, Regev, Amitai (2005)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Complete description for -equivalence types of superatomic -algebras.
Pyrkin, S.G. (2000)
Sibirskij Matematicheskij Zhurnal
Similarity:
Implicit operations on the categories of universal algebras.
Pinus, A.G. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Preservation of admissibility of inference rules in the logics similar to S4. 2.
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
-minimal sets and related topics in transformation semigroups. II.
Sabbaghan, Masoud, Shirazi, Fatemah Ayatollah Zadeh (2001)
International Journal of Mathematics and Mathematical Sciences
Similarity:
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.
Shrejner, P.A. (2000)
Siberian Mathematical Journal
Similarity:
-minimal sets and related topics in transformation semigroups. I.
Sabbaghan, Masoud, Shirazi, Fatemah Ayatollah Zadeh (2001)
International Journal of Mathematics and Mathematical Sciences
Similarity:
On the theory of grossone.
Gutman, A.E., Kutateladze, S.S. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
On homotopes of Novikov algebras.
Sereda, V. A., Filippov, V. T. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity: