P. Yu. Suvorov

Available identifiers

zbMath Open suvorov.p-yuMaRDI QIDQ1154811

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3793276	1988-01-01	Paper
Representation of proofs by colored graphs and the Hadwiger conjecture	1982-01-01	Paper
On the recognition of the tautological nature of propositional formulas	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3866147	1979-01-01	Paper
A reduction of propositional tautologihood to the coloring of graphs in three colors	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4111102	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128519	1974-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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