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