EUDML | Упрощение генценовских редукций классической арифметики

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Упрощение генценовских редукций классической арифметики”

Метод разрешения семантических свойств алгоритмов

Ю. И. Янов (1988)

Banach Center Publications

Similarity:

Новая последовательность редукций для арифметики

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Верхняя оценка конечноавтоматной сложности для одного класса порождающих схем с операциями дополнения и пересечения

Зуй Руан Данг, Г.С. Цейтин (1974)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Метод установления выводимости в классическом исчислении предикатов

Г.В. Давыдов (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О секвенциальных вариантах прикладных исчислений предикатов

М.Г. Рогава (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Трансфинитные развертки арифметических формул

Г.Е. Минц (1975)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Метод эпсилон подстановок для исчисления предикатов с равенством

Г.Е. Минц (1995)

Zapiski naucnych seminarov POMI

Similarity:

Метод ветвей и границ для задачи параллельного упорядочивания

К.В. Шахбазян, Т.А. Тушкина ([unknown])

Zapiski naucnych seminarov Leningradskogo

Similarity:

Существование и асимптотика решений типа "уединенной волны" для одного класса нелинейных эллиптических уравнений

А.М. Тер-Крикоров, В.А. Треногин (1963)

Matematiceskij sbornik

Similarity:

Метод "вспомогательных бозонов" для модели Хаббарда - RVB состояние и высокотемпературная сверхпроводимость

В.С. Капитонов ([unknown])

Zapiski naucnych seminarov Leningradskogo

Similarity:

О псевдофункциях Шеннона

И.Д. Заславский (1969)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Варьирование тактик поуска вывода в секвенциальных исчислениях

Г.Е. Минц (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов

Г.Е. Минц (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Параллельное вычисление арифметических выражений с одноместными функциями

А.А. Гаганов (1988)

Zapiski naucnych seminarov Leningradskogo

Similarity: