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

Г.Е. Минц

The search session has expired. Please query the service again.

Displaying similar documents to “Метод эпсилон подстановок для исчисления предикатов с равенством”

Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка

Р. Плюшкявичюс (1995)

Zapiski naucnych seminarov POMI

Similarity:

Задача парковки для отрезков различной длины

С.М. Ананьевский (1996)

Zapiski naucnych seminarov POMI

Similarity:

Универсальные элементы для семейств сепарабельных метрических пространств

Д.Н. Георгиу, С.Д. Илиадис (1995)

Zapiski naucnych seminarov POMI

Similarity:

Равномерное распределение точки первого выхода для двумерного анизотропного диффузионного процесса: асимптотика окрестности начальной точки

Б.П. Харламов (1996)

Zapiski naucnych seminarov POMI

Similarity:

Решения уравнения колебаний пластины, сосредоточенные вблизи замкнутых экстремальных чисел

А.С. Голубева (1995)

Zapiski naucnych seminarov POMI

Similarity:

О поведении инвариантов конечной степени при взаимозависимых преобразованиях зацепления

М.Н. Гусаров (1995)

Zapiski naucnych seminarov POMI

Similarity:

Начально-краевая задача с проскальзыванием для уравнений водных растворов полимеров со штрафом

А.П. Осколков (1994)

Zapiski naucnych seminarov POMI

Similarity:

О распределении функционалов от броуновского движения, остановленного в момент, обратный ко времени пребывания

А.Н. Бородин (1996)

Zapiski naucnych seminarov POMI

Similarity:

Оценки скорости сходимости в законе Штрассена для случайных ломаных

А.В. Булинский, M.A. Лифшиц (1996)

Zapiski naucnych seminarov POMI

Similarity:

О вычислении второго члена лучевого ряда для вектора продольных смещений в неоднородной изотропной упругой среде

Н.Я. Кирпичникова (1994)

Zapiski naucnych seminarov POMI

Similarity:

Основные проблемы метода многократных перекрытий огт и технологичных методик обработки его дaнных

Г.И. Петрашень, А.Г. Рудаков (1996)

Zapiski naucnych seminarov POMI

Similarity:

О необходимости условия Линника в одной теореме о вероятностях больших уклонений

Н.Н. Амосова (1996)

Zapiski naucnych seminarov POMI

Similarity:

Большие уклонения суммы независимых случайных величин из области притяжения устойчивого закона

Л.В. Розовский (1996)

Zapiski naucnych seminarov POMI

Similarity:

Библиография по битопологическим пространствам. II

A.A. Иванов (1993)

Zapiski naucnych seminarov POMI

Similarity:

Вычисление второго члена лучевого ряда в квазидвумерном случае

Н.Я. Кирпичникова, М.М. Попов (1994)

Zapiski naucnych seminarov POMI

Similarity:

Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике

Н.А. Шанин (1995)

Zapiski naucnych seminarov POMI

Similarity:

Какая информация о волновой функции следует из ее "измерения" с помощью томографического метода восстановления распределения Вигнера?

Л.Б. Клебанов, Л.А. Халфин (1996)

Zapiski naucnych seminarov POMI

Similarity:

Алгоритм определения полей суммарных кратных волн при произвольном расположении источника и приемника внутри упругой среды

H.C. Смирнова (1994)

Zapiski naucnych seminarov POMI

Similarity:

Новый интегральный непараметрический критерий для проверки гипотезы аффинной симметрии

И.В. Гамов, Я.Ю. Никитин (1996)

Zapiski naucnych seminarov POMI

Similarity: