Completeness modulo an ideal in functional systems of program type
Diskretnaya Matematika, Tome 2 (1990) no. 2, pp. 112-120
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DM_1990_2_2_a9,
author = {Yu. V. Golunkov},
title = {Completeness modulo an ideal in functional systems of program type},
journal = {Diskretnaya Matematika},
pages = {112--120},
publisher = {mathdoc},
volume = {2},
number = {2},
year = {1990},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DM_1990_2_2_a9/}
}
Yu. V. Golunkov. Completeness modulo an ideal in functional systems of program type. Diskretnaya Matematika, Tome 2 (1990) no. 2, pp. 112-120. http://geodesic.mathdoc.fr/item/DM_1990_2_2_a9/