Decidability of the elementary theory of a finitely presented quasigroup
Matematičeskie zametki, Tome 47 (1990) no. 4, pp. 138-146
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{MZM_1990_47_4_a17,
author = {L. V. Shabunin},
title = {Decidability of the elementary theory of a~finitely presented quasigroup},
journal = {Matemati\v{c}eskie zametki},
pages = {138--146},
year = {1990},
volume = {47},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1990_47_4_a17/}
}
L. V. Shabunin. Decidability of the elementary theory of a finitely presented quasigroup. Matematičeskie zametki, Tome 47 (1990) no. 4, pp. 138-146. http://geodesic.mathdoc.fr/item/MZM_1990_47_4_a17/