On a~system of operators, simplifying the combination theory of $K$-algorithms
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part II, Tome 8 (1968), pp. 66-79
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{ZNSL_1968_8_a7,
author = {N. K. Kossovski},
title = {On a~system of operators, simplifying the combination theory of $K$-algorithms},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {66--79},
publisher = {mathdoc},
volume = {8},
year = {1968},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a7/}
}
N. K. Kossovski. On a~system of operators, simplifying the combination theory of $K$-algorithms. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part II, Tome 8 (1968), pp. 66-79. http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a7/