|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2005 |
1. |
С. В. Попов, “О длине вычислений арифметических программ”, Препринты ИПМ им. М. В. Келдыша, 2005, 136, 32 стр. |
2. |
Н. Л. Брошкова, С. В. Попов, “Свойства логической энтропии”, Препринты ИПМ им. М. В. Келдыша, 2005, 135, 36 стр. |
3. |
С. В. Попов, “Логическая энтропия”, Препринты ИПМ им. М. В. Келдыша, 2005, 084, 27 стр. |
4. |
Н. Л. Брошкова, С. В. Попов, “О локальности информационных систем”, Препринты ИПМ им. М. В. Келдыша, 2005, 078, 23 стр. |
5. |
Н. Л. Брошкова, С. В. Попов, “О проектировании информационных систем”, Препринты ИПМ им. М. В. Келдыша, 2005, 075, 28 стр. |
6. |
С. В. Попов, “Об устранимости аксиомы индукции”, Препринты ИПМ им. М. В. Келдыша, 2005, 009, 28 стр. |
7. |
С. В. Попов, “На пути к метапсихологии”, Препринты ИПМ им. М. В. Келдыша, 2005, 005, 14 стр. |
|
1981 |
8. |
С. В. Попов, “Неразрешимое промежуточное исчисление”, Алгебра и логика, 20:6 (1981), 654–706 |
|
1976 |
9. |
С. В. Попов, “О сложности выводов в классическом исчислении высказываний”, Докл. АН СССР, 228:5 (1976), 1041–1044 |
|
|
|
1999 |
10. |
С. В. Попов, “Международная олимпиада "Туймаада»”, Матем. обр., 1999, № 2-3(9-10), 102–121 |
|