Gary Xin Hua

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
An experiment of the cover set induction method inRRL is presented with a mechanical proof of Ramsey's theorem in graph theory. The proof is similar to the proof obtained by Kaufmann using the Boyer-Moore theorem prover. We show that this similarity is not unusual, because there is a close relationship between the Boyer-Moore logic and the algebraic(More)
  • 1