|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1979 |
1. |
П. Ю. Суворов, “Представление доказательств раскрашенными графами и гипотеза Хадвигера”, Зап. научн. сем. ЛОМИ, 88 (1979), 209–217 ; P. Yu. Suvorov, “Representation of proof s' by coloured graphs and Hadwiger hypothesis”, J. Soviet Math., 20:4 (1982), 2376–2381 |
|
1976 |
2. |
П. Ю. Суворов, “О распознавании тавтологичности пропозициональных формул”, Зап. научн. сем. ЛОМИ, 60 (1976), 197–206 ; P. Yu. Suvorov, “On the recognition of the tautological nature of propositional formulas”, J. Soviet Math., 14:5 (1980), 1556–1562 |
1
|
|
1974 |
3. |
Г. В. Давыдов, П. Ю. Суворов, “Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета”, Зап. научн. сем. ЛОМИ, 40 (1974), 10–13 |
|