Login / Signup
: A New Proof of the 31 Forbidden Subgraphs Theorem.
Dragos M. Cvetkovic
Peter Rowlinson
Slobodan 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