О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций”
О секвенциальных вариантах прикладных исчислений предикатов
Исчисление равенств для примитивно рекурсивных рациональнозначных функций
М.Х. Фахми (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Р.А. Плюшкевичус (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вероятностные канонические исчисления
С.Ю. Маслов, Е.Д. Русаков ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
Обратимый секвенциальный вариант конструктивного исчисления предикатов
С.Ю. Маслов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О моделях исчисления E
Л.Л. Максимова (1967)
Algebra i Logika
Similarity:
Мутационные исчисления
С.Ю. Маслов (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Существование абсолютного минимума кратных интегралов вариационного исчисления в непараметрической форме
Г.И. Шилова (1960)
Matematiceskij sbornik
Similarity:
К вопросу о парадоксах и к проблеме расширенного исчисления предикатов
Д.А. Бочвар (1957)
Matematiceskij sbornik
Similarity:
Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма
Р.И. Фрейдзон (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Свободные от сечения исчисления типа S5
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов
Г.Е. Минц (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity: