Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Лебедев Павел Валерьевич

В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1

Статистика просмотров:
Эта страница:116
Страницы публикаций:192
Полные тексты:139
Списки литературы:25
E-mail:

https://www.mathnet.ru/rus/person73654
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2012
1. П. В. Лебедев, “Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL”, Модел. и анализ информ. систем, 19:2 (2012),  115–137  mathnet

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024