External Links

    Journal: Programming and Computer Software

    Volume 36, Issue 1

    3 -- 10E. V. Kuzmin, Valery A. Sokolov, D. Yu. Chalyy. Boundedness problems for Minsky counter machines
    11 -- 18Denis Turdakov, S. D. Kuznetsov. Automatic word sense disambiguation based on document networks
    48 -- 57F. A. Novikov, V. B. Novoseltsev. Interpretable program specification language
    runs on