Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Статья, Москва, 2008
Издание:
Труды XI Национальной конференции по искусственному интеллекту с международным участием, 28 сент.-3 окт. 2008, Дубна, Издат. 'ЛЕНАНД',стр. 235-239
Авторы: Валиев М.К.
ИНТЕРПОЛЯЦИОННАЯ ТЕОРЕМА ДЛЯ ЛОГИКИ ПРОЦЕССОВ ПРАТТА
Аннотация:
Интерполяционная теорема, доказанная Т.Ковальским (2002) для пропозициональной динамической логики, обобщается на вариант пропозициональной логики процессов, введенный В.Праттом (1079).
Язык публикации: русский,  страниц: 5
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на русском языке: Сведения об авторах:
  • Валиев Марс Котдусович,  ,  ИПМ им. М.В. Келдыша РАН