Decidability of the problem of admissibility in finite-layered
Algebra i logika, Tome 23 (1984) no. 1, pp. 100-116
@article{AL_1984_23_1_a5,
author = {V. V. Rybakov},
title = {Decidability of the problem of admissibility in finite-layered},
journal = {Algebra i logika},
pages = {100--116},
year = {1984},
volume = {23},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1984_23_1_a5/}
}
V. V. Rybakov. Decidability of the problem of admissibility in finite-layered. Algebra i logika, Tome 23 (1984) no. 1, pp. 100-116. http://geodesic.mathdoc.fr/item/AL_1984_23_1_a5/