P. Yu. Suvorov

From MaRDI portal
Person:1154811

Available identifiers

zbMath Open suvorov.p-yuMaRDI QIDQ1154811

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q37932761988-01-01Paper
Representation of proofs by colored graphs and the Hadwiger conjecture1982-01-01Paper
On the recognition of the tautological nature of propositional formulas1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38661471979-01-01Paper
A reduction of propositional tautologihood to the coloring of graphs in three colors1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41111021976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41285191974-01-01Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1154811&oldid=6183672"
Powered by MediaWiki