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

https://www.mathnet.ru/rus/person26065
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/260700

Публикации в базе данных Math-Net.Ru Цитирования
1990
1. А. Л. Расцветаев, “О пропозициональной логике булевых рекурсивных программ с вхождением предикатных переменных в условия”, Матем. заметки, 48:3 (1990),  119–127  mathnet  mathscinet  zmath; A. L. Rastsvetaev, “A propositional logic of Boolean recursive programs in which predicate variables appear in conditions”, Math. Notes, 48:3 (1990), 958–964  isi
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024