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

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

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

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

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

Г.Е. Минц (1995)

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

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:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

О единственности формфакторов для радуцированной модели синус-Гордон

Т. Такэбэ (1992)

Zapiski naucnych seminarov POMI

Similarity:

Одно обобщение неравенства Крамера-Рао

И.А. Ибрагимов (1996)

Zapiski naucnych seminarov POMI

Similarity: