N. A. Bazhenov, H. Ganchev, S. Vatev, “Computable embeddings for pairs of linear orders”, Algebra Logika, 60:3 (2021), 251–285; Algebra and Logic, 60:3 (2021), 163–187
S. Vatev, H. Ganchev, I. Sh. Kalimullin, “Computable embedding of classes of algebraic structures with congruence relation”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 160:4 (2018), 731–737
Contact us: