|
|
Publications in Math-Net.Ru |
Citations |
|
1979 |
1. |
P. Yu. Suvorov, “Representation of proof s' by coloured graphs and Hadwiger hypothesis”, Zap. Nauchn. Sem. LOMI, 88 (1979), 209–217 ; J. Soviet Math., 20:4 (1982), 2376–2381 |
|
1976 |
2. |
P. Yu. Suvorov, “On the recognition of the tautological nature of propositional formulas”, Zap. Nauchn. Sem. LOMI, 60 (1976), 197–206 ; J. Soviet Math., 14:5 (1980), 1556–1562 |
1
|
|
1974 |
3. |
G. V. Davydov, P. Yu. Suvorov, “A reduction of proposittional tautologihood to graph-coloring in three colors”, Zap. Nauchn. Sem. LOMI, 40 (1974), 10–13 |
|