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

DOI10.1007/BF01156054zbMath0255.05104OpenAlexW2024500805MaRDI QIDQ2558225

Yu. V. Matiyasevich

Publication date: 1973

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01156054

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) General logic (03B99)

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The application of the methods of the theory of logical derivation to graph theory