|
|
Вестник Московского университета. Серия 1: Математика. Механика, 2006, номер 1, страницы 6–11
(Mi vmumm1099)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математика
О соотношении двух понятий примитивно рекурсивной реализуемости
В. Е. Плиско
Аннотация:
Доказывается несовпадение двух вариантов понятия примитивно рекурсивной реализуемости для языка формальной арифметики – строго примитивно рекурсивной реализуемости, введенной Дамняновичем, и примитивно рекурсивной реализуемости, введенной Салехи.
Библиогр. 8.
Поступила в редакцию: 17.12.2004
Образец цитирования:
В. Е. Плиско, “О соотношении двух понятий примитивно рекурсивной реализуемости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, № 1, 6–11
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm1099 https://www.mathnet.ru/rus/vmumm/y2006/i1/p6
|
|