RUS  ENG
Full version
JOURNALS // Matematicheskie Zametki // Archive
Mat. Zametki, 1972 Volume 12, Issue 6, Pages 781–790 (Mi mzm9944)
This article is cited in 3 papers

The application of the methods of the theory of logical derivation to graph theory

Yu. V. Matiyasevich

Leningrad Department of the V. A. Steklov Mathematical Institute, Academy of Sciences of the USSR

Abstract: We give an inductive definition of the property "a graph which cannot be colored with $n$ colors."

UDC: 51.01:164+519.1

Received: 12.05.1971


 English version: Mathematical Notes, 1972, 12:6, 904–908

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024