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

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

Статистика просмотров:
Эта страница:2112
Страницы публикаций:4483
Полные тексты:2796
Списки литературы:129

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

Публикации в базе данных Math-Net.Ru Цитирования
1972
1. В. А. Лифшиц, “Локально аналитическая конструктивная функция, не являющаяся аналитической”, Докл. АН СССР, 202:6 (1972),  1265–1267  mathnet  mathscinet  zmath
2. В. А. Лифшиц, В. П. Чернов, “Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве”, Зап. научн. сем. ЛОМИ, 32 (1972),  53–58  mathnet  mathscinet 1
3. В. А. Лифшиц, “Метаматематическая интерпретация теоремы о веерах”, Зап. научн. сем. ЛОМИ, 32 (1972),  45–52  mathnet  mathscinet
1971
4. В. А. Лифшиц, “Об исследовании конструктивных функций методом заполнений”, Зап. научн. сем. ЛОМИ, 20 (1971),  67–79  mathnet  mathscinet  zmath 1
1969
5. В. А. Лифшиц, “О множестве нулей конструктивного степенного ряда в вещественной области”, Зап. научн. сем. ЛОМИ, 16 (1969),  114–125  mathnet  mathscinet  zmath
1968
6. В. А. Лифшиц, “Специализация формы вывода в исчислении предикатов с равенством и функциональными символами. I”, Тр. МИАН СССР, 98 (1968),  5–25  mathnet  mathscinet  zmath; V. A. Lifshits, “Specialization of the form of deduction in the precicate calculus with equality and function symbols. I”, Proc. Steklov Inst. Math., 98 (1968), 1–23
7. В. А. Лифшиц, “О конструктивных аналитических функциях одной вещественной переменной”, Зап. научн. сем. ЛОМИ, 8 (1968),  121–131  mathnet  mathscinet  zmath
1967
8. В. А. Лифшиц, “О конструктивных математических теориях, согласованных с классической логикой”, Тр. МИАН СССР, 93 (1967),  113–122  mathnet  mathscinet  zmath; V. A. Lifshits, “Constructive mathematical theories consistent with classical logic”, Proc. Steklov Inst. Math., 93 (1967), 143–155
9. В. А. Лифшиц, “О конструктивных группах”, Зап. научн. сем. ЛОМИ, 4 (1967),  86–95  mathnet  mathscinet  zmath
10. В. А. Лифшиц, “Проблема разрешимости для некоторых конструктивных теорий равенства”, Зап. научн. сем. ЛОМИ, 4 (1967),  78–85  mathnet  mathscinet  zmath
11. В. А. Лифшиц, “Дедуктивная общезначимость и классы сведения”, Зап. научн. сем. ЛОМИ, 4 (1967),  69–77  mathnet  mathscinet  zmath 1
12. В. А. Лифшиц, “Некоторые классы сведения и неразрешимые теории”, Зап. научн. сем. ЛОМИ, 4 (1967),  65–68  mathnet  mathscinet  zmath
13. В. А. Лифшиц, “Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами”, Зап. научн. сем. ЛОМИ, 4 (1967),  58–64  mathnet  mathscinet  zmath

2013
14. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013),  173–176  mathnet  mathscinet  elib; M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Russian Math. Surveys, 68:4 (2013), 763–767  isi  elib  scopus
2001
15. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к восьмидесятилетию со дня рождения)”, УМН, 56:3(339) (2001),  181–184  mathnet  mathscinet  zmath; M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Russian Math. Surveys, 56:3 (2001), 601–605  isi 1

Доклады и лекции в базе данных Math-Net.Ru
1. Стабильные модели логическиx программ
В. А. Лифшиц
Заседания Санкт-Петербургского математического общества
18 июня 2002 г.

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