DOI10.1007/BF01091550zbMath0403.68080OpenAlexW1970087359MaRDI QIDQ1256323
Yu. V. Matiyasevich
Publication date: 1977 Published in: Journal of Soviet Mathematics (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/bf01091550
zbMATH Keywords
Deductive SystemGraph ColoringProve Theorems of Discrete Mathematics
Mathematics Subject Classification ID
Mechanization of proofs and logical operations (03B35) Coloring of graphs and hypergraphs (05C15)
Cites Work