Login / Signup

: A New Proof of the 31 Forbidden Subgraphs Theorem.

Dragos M. CvetkovicPeter RowlinsonSlobodan K. Simic
Published in: Des. Codes Cryptogr. (2005)
Keyphrases
  • interactive theorem proving
  • graph mining
  • theorem prover
  • website
  • data structure
  • theorem proving
  • linear logic
  • automated theorem proving
  • graph properties
  • subgraph isomorphism
  • subgraph matching