Login / Signup

A short proof of a theorem about the circumference of a graph.

Tian Feng
Published in: J. Comb. Theory, Ser. B (1988)
Keyphrases
  • link analysis
  • interactive theorem proving
  • web pages
  • data sets
  • von neumann
  • search engine
  • graph theory
  • graph structure
  • theorem proving
  • directed acyclic graph
  • graph representation
  • graph search
  • proof theory
  • stable set