Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Р.А. Плюшкевичус (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Исчисление равенств для примитивно рекурсивных рациональнозначных функций”
Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Доказательство несовпадения классов простых примитивно рекурсивных функций
С.В. Пахомов (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Табличные аппроксимации рекурсивных предикатов
Р.И. Фрейдзон (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма
Р.И. Фрейдзон (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Семейства рекурсивных предикатов нулевой меры
Р.И. Фрейдзон (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Регулярные аппроксимации рекурсивных предикатов
Р.И. Фрейдзон (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О представимости алгорифмически разрешимых предикатов машинами Рабина
Р.И. Фрейдзон (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов
Р.И. Фрейдзон (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О канонических рекурсивных функциях и операциях
Н.А. Шанин (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О порождении 2-местных примитивно-рекурсивных функций
С.А. Березин (1972)
Matematiceskie issledovanija
Similarity:
Некоторые вопросы теории рекурсивных функций.
Е.А. Поляков (1968)
Algebra i Logika
Similarity:
Об одной категории частично рекурсивных функций
А.Н. Дёгтев (1980)
Sibirskij matematiceskij zurnal
Similarity:
О псевдофункциях Шеннона
И.Д. Заславский (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity: