Login / Signup

A short proof of Catlin's extension of Brooks' theorem.

John Mitchem
Published in: Discret. Math. (1978)
Keyphrases
  • interactive theorem proving
  • proof theoretic
  • theorem proving
  • databases
  • artificial intelligence
  • theorem prover