Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Голунков Ю.В., Савельев А.А. [1984] Об алгоритмической полноте некоторых систем функций и предикатов Вероят. методы и кибернетика, Казань, Из-во КГУ, № 20, 49-55, 84.09.36 статья ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Голунков Ю.В., Савельев А.А. [1984] О решетке систем алгоритмических алгебр частично рекурсивных функций и предикатов Изв. Вузов. Мат., № 11, 57-59 85.05.66 статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Голунков Ю.В., Савельев А.А. [1987] О системах алгоритмических алгебр, сохраняющих идеалы в решетке рекурсивно перечислимых множеств Вероят. методы и кибернетика, ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.