|
This article is cited in 3 scientific papers (total 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."
Received: 12.05.1971
Citation:
Yu. V. Matiyasevich, “The application of the methods of the theory of logical derivation to graph theory”, Mat. Zametki, 12:6 (1972), 781–790; Math. Notes, 12:6 (1972), 904–908
Linking options:
https://www.mathnet.ru/eng/mzm9944 https://www.mathnet.ru/eng/mzm/v12/i6/p781
|
Statistics & downloads: |
Abstract page: | 282 | Full-text PDF : | 124 | First page: | 1 |
|