Табличные аппроксимации рекурсивных предикатов
Р.И. Фрейдзон (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Регулярные аппроксимации рекурсивных предикатов”
Табличные аппроксимации рекурсивных предикатов
О представимости алгорифмически разрешимых предикатов машинами Рабина
Р.И. Фрейдзон (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма
Р.И. Фрейдзон (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов
Р.И. Фрейдзон (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Семейства рекурсивных предикатов нулевой меры
Р.И. Фрейдзон (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О канонических рекурсивных функциях и операциях
Н.А. Шанин (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О рекурсивных решетах
В. Амстиславский (1966)
Sibirskij matematiceskij zurnal
Similarity:
Эндоморфизмы группы всех рекурсивных перестановок.
А.С. Морозов, A. S. Morozov, A. S. Morozov, A. S. Morozov (1997)
Algebra i Logika
Similarity:
Исчисление равенств для примитивно рекурсивных рациональнозначных функций
М.Х. Фахми (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О типах сходства рекурсивного изоморфизма частично рекурсивных функций.
Е.А. Поляков (1989)
Sibirskij matematiceskij zurnal
Similarity:
Об одной категории частично рекурсивных функций
А.Н. Дёгтев (1980)
Sibirskij matematiceskij zurnal
Similarity:
Об антиномиях, основанных на группах определений предикатов, каждое из которых непротиворечиво в отдельности
Д.А. Бочвар (1960)
Matematiceskij sbornik
Similarity:
Доказательство несовпадения классов простых примитивно рекурсивных функций
С.В. Пахомов (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О типах сходства и изоморфизма частично рекурсивных функций.
Е.А. Поляков (1995)
Sibirskij matematiceskij zurnal
Similarity:
Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Р.А. Плюшкевичус (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity: