P. Yu. Suvorov

From MaRDI portal
(Redirected from Person:1154811)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 4058308 (Why is no real title available?)1988-01-01Paper
Representation of proofs by colored graphs and the Hadwiger conjecture
Journal of Soviet Mathematics
1982-01-01Paper
On the recognition of the tautological nature of propositional formulas
Journal of Soviet Mathematics
1980-01-01Paper
scientific article; zbMATH DE number 3668654 (Why is no real title available?)1979-01-01Paper
A reduction of propositional tautologihood to the coloring of graphs in three colors
Journal of Soviet Mathematics
1977-01-01Paper
scientific article; zbMATH DE number 3535629 (Why is no real title available?)1976-01-01Paper
scientific article; zbMATH DE number 3556010 (Why is no real title available?)1974-01-01Paper


Research outcomes over time


This page was built for person: P. Yu. Suvorov